SUMO
terms
terms
SELECT * FROM sumoterms ORDER BY sumoid LIMIT 0,50
sumoidsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
1subclass11111
2subrelation1111
3instance1111
4disjoint1111
5domain1111
6partition1111
7attribute1111
8property1111
9subAttribute1111
10subProcess1111
11equal11111
12inverse1111
13=>11
14<=>11
15contains111
16element1111
17subset1
18component11
19part1111
20piece1
21format1
22documentation1111
23Relation111
24Predicate111111
25Function111111
26Class11
27-0.03
28-0.06
29-0.07
30-0.1
31-0.15
32-0.2
33-0.216667
34-0.22
35-0.27
36-0.35
37-0.383333
38-0.4
39-0.68
40-0.7
41-0.9
42-1
43-1.02
44-1.13
45-1.2
46-1.21
47-1.26667
48-1.39
49-1.4
50-1.45
term attributes
SELECT sumoattr FROM sumotermattrs GROUP BY sumoattr ORDER BY sumoattr
sumoattr
@
A
C
F
P
R
S
a
c
f
i
l
m
p
q
r
s
y
~
term tags
SELECT attrtag FROM sumotaggedterms GROUP BY attrtag ORDER BY attrtag
attrtag
@
@Sipr
@Siprs
@Sir
@Sirs
@Spr
@Ss
@ipr
@iprs
@ipr~
@ir
@irs
@l
@lq
@s
ACac
ACaci
Aac
Aaci
C
CFRScfir
CFRcfir
CFRcfr
CPRScipr
CRcfir
CRcipr
CRcir
CRcr
Cac
Cai
Cc
Cci
Ccr
Ci
FRcfir
FRcfr
PRcipr
PRcpr
Rcir
Rcr
Sfiry
Sipr
Siprs
Sir
Sirs
Ss
aci
ai
c
ci
fimry
firsy
firy
i
ipr
iprs
ipr~
ir
irs
irsy
l
s
sy
y
tagged term being child of Relation, instantiating a class, is used as relation operator in formula
SELECT * FROM sumotaggedterms WHERE INSTR(attrtag,'r') <> 0 AND INSTR(attrtag,'i') <> 0 AND INSTR(attrtag,'@') <> 0 ORDER BY sumoterm
sumoidsumotermattrtag
24543abbreviation@Siprs
24564agentOperatesInArea@Siprs
24566agreementAdoptionDate@ipr
24567agreementEffectiveDate@ipr
24608atomicNumber@ipr
24627beliefGroupPercentInRegion@ipr
24632between@ipr
24635biochemicalAgentAntidote@ipr
24636biochemicalAgentDelivery@ipr
24637biochemicalAgentSyndrome@ipr
24639biologicalAgentCarrier@ipr
24643boilingPoint@ipr
24650caliber@ipr
24656capitalCity@iprs
24662cardinality@ipr
24668causesSubclass@ipr
24679chiefOfStateType@ipr
24683claimedTerritory@Sipr
24693commandRankOfEchelon@ipr
24696comparativeArea@ipr
24711connected@Sipr
24718containsInformation@Siprs
24725contraryAttribute@ipr
24727conventionalLongName@iprs
24728conventionalShortName@Siprs
24749currencyType@ipr
24751currencyValue@ipr
24761dateDissolved@ipr
24762dateEstablished@ipr
24772decreasesLikelihood@ipr
24778dependentGeopoliticalArea@irs
24780depth@irs
24827diseaseIncubation@ipr
24828diseaseMortality@ipr
24829diseaseSymptom@ipr
24830diseaseTreatment@ipr
4disjoint@ipr
24831disjointDecomposition@ipr
24832disjointRelation@ipr
22documentation@ipr
5domain@ipr
24838domainSubclass@ipr
24852economyType@iprs
24855effectiveDose@ipr
24868elevation@ipr
11equal@ipr~
24886ethnicityPercentInRegion@ipr
24890exhaustiveAttribute@ipr
24891exhaustiveDecomposition@ipr
24952geographicSubregion@Siprs
24959governmentType@iprs
24971groundSubsurfaceType@ipr
24972groundSurfaceType@ipr
25004holdsDuring@ipr
25021identityElement@ipr
25040inScopeOfInterest@Sipr
25046increasesLikelihood@ipr
25047independenceDate@ipr
25052industryProductType@ipr
25057inflationRateInCountry@ipr
25063initialPart@ir
12inverse@ipr
25355landAreaOnly@ipr
25357languagePercentInRegion@ipr
25363leaderPosition@ipr
25385lethalDose@ipr
25386lexicon@ir
25397localLongName@iprs
25398localShortName@iprs
25399located@Sirs
25428meatOfAnimal@ir
25432meetsSpatially@Sirs
25434meltingPoint@ipr
25435member@Sirs
25442meronym@ir
25449militaryOfArea@ipr
25455modalAttribute@iprs
25456models@ir
25566naturalHazardTypeInArea@ipr
25578objectGeographicCoordinates@ipr
25586oppositeDirection@ipr
25590orbits@ipr
25594organizationalObjective@iprs
25595orientation@ipr
25603overlapsSpatially@Sirs
19part@Sir
6partition@ipr
25610partlyLocated@Sipr
25632physicalDomain@ir
25673properPart@Sirs
25683range@ipr
25684rangeSubclass@ipr
25695relatedExternalConcept@Sipr
25696relatedInternalConcept@ipr
25885secretesToxin@ipr
25887sectorCompositionOfGDPInPeriod@ipr
25900sharedBorderLength@ipr
9subAttribute@ipr
25945subCollection@Sipr
25946subEchelon@ipr
25947subField@irs
25950subOrganization@Sirs
10subProcess@ipr
1subclass@Sipr
2subrelation@ipr
25958subsumesContentClass@Sipr
25959subsumesContentInstance@Sipr
25961successorAttribute@ipr
25963successorOrganization@ipr
25997totalArea@ipr
26003totalGDPInPeriod@ipr
26019trichotomizingOn@ipr
functors
SELECT * FROM sumoterms WHERE sumoterm LIKE '%Fn' LIMIT 20
sumoidsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
537AbortedFn11111
538AbortedLaunchFn11111
539AbortedMissionFn11111
553AbsoluteValueFn1111
555AbstractionFn1111
571AccountFn1111
601AdditionFn11111
603AddressFn1111
725AgreementOrganizationFn1111
736AgricultureFn1111
1548AssignmentFn1111
1621AttrFn1111
1700AvailableForMilitaryServiceMaleFn1111
1760BackFn1111
2149BeginFn1111
2150BeginNodeFn1111
2395BirthsPerThousandFn1111
2582BorderFn11111
2946CPUUtilizationFn11
2961CabinetFn1111
term Entity
SELECT * FROM sumotaggedterms WHERE sumoterm = "Entity"
sumoidsumotermattrtag
10316EntityC
term Entity (flat version)
SELECT * FROM sumoterms WHERE sumoterm = "Entity"
sumoidsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
10316Entity1
term Class
SELECT * FROM sumotaggedterms WHERE sumoterm = "Class"
sumoidsumotermattrtag
26ClassCc
term Class (flat version)
SELECT * FROM sumoterms WHERE sumoterm = "Class"
sumoidsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
26Class11
attributes
co-occurring attributes of superclass attribute
SELECT DISTINCT t1.sumoattr AS attr,t2.sumoattr AS cooccurringattr FROM sumotermattrs AS t1 INNER JOIN sumotermattrs AS t2 USING (sumoid) WHERE t1.sumoattr='C' AND t2.sumoattr <> 'C'
attrcooccurringattr
Cc
Cr
CR
Ci
Cp
Cf
CA
Ca
CF
CP
CS
co-occurring attributes of comparison operator
SELECT DISTINCT t1.sumoattr AS attr,GROUP_CONCAT(DISTINCT t2.sumoattr ORDER BY t2.sumoattr) AS cooccurringattr FROM sumotermattrs AS t1 INNER JOIN sumotermattrs AS t2 USING (sumoid) WHERE t1.sumoattr IN ('C','c','i','S','s','@','l','q','m','f','~','R','r','P','p','F','f','A','a') GROUP BY attr
attrcooccurringattr
@@,S,i,l,p,q,r,s,~
AA,C,a,c,i
CA,C,F,P,R,S,a,c,f,i,p,r
FC,F,R,S,c,f,i,r
PC,P,R,S,c,i,p,r
RC,F,P,R,S,c,f,i,p,r
S@,C,F,P,R,S,c,f,i,p,r,s,y
aA,C,a,c,i
cA,C,F,P,R,S,a,c,f,i,p,r
fC,F,R,S,c,f,i,m,r,s,y
i@,A,C,F,P,R,S,a,c,f,i,m,p,r,s,y,~
l@,l,q
mf,i,m,r,y
p@,C,P,R,S,c,i,p,r,s,~
q@,l,q
r@,C,F,P,R,S,c,f,i,m,p,r,s,y,~
s@,S,f,i,p,r,s,y
~@,i,p,r,~
co-occurring attributes of comparison operator
SELECT DISTINCT sumoattr FROM sumotermattrs AS t1 WHERE sumoid IN (SELECT DISTINCT sumoid FROM sumotermattrs WHERE sumoattr IN ('~'))
sumoattr
@
i
p
r
~
co-occurring attributes of comparison operator
SELECT sumoterm,sumoattr FROM sumotermattrs AS t1 INNER JOIN sumoterms USING (sumoid) WHERE sumoid IN (SELECT DISTINCT sumoid FROM sumotermattrs WHERE sumoattr IN ('~'))
sumotermsumoattr
equal@
equali
equalp
equalr
equal~
greaterThani
greaterThanp
greaterThanr
greaterThan~
greaterThanOrEqualToi
greaterThanOrEqualTop
greaterThanOrEqualTor
greaterThanOrEqualTo~
lessThani
lessThanp
lessThanr
lessThan~
lessThanOrEqualToi
lessThanOrEqualTop
lessThanOrEqualTor
lessThanOrEqualTo~
class/superclass
terms that are both classes and instances
SELECT sumoterm FROM sumotermattrs AS t1 INNER JOIN sumotermattrs AS t2 USING (sumoid) INNER JOIN sumoterms USING (sumoid) WHERE t1.sumoattr = 'c' AND t2.sumoattr = 'i'
sumoterm
Predicate
Function
AchievingControl
AirPollutionIssue
AntarcticArea
BinaryFunction
BinaryPredicate
BinaryRelation
CaseRole
CelsiusDegree
Centimeter
ChangeOfControl
Cleric
ClimateChangeIssue
Deacon
FootLength
InformationCooperation
InheritableRelation
IntentionalRelation
JusticeIssues
LiteracyAttribute
Meter
Mile
MilitaryGeneral
ObjectAttitude
ProbabilityRelation
PropositionalAttitude
QuaternaryFunction
QuaternaryPredicate
QuaternaryRelation
QuintaryPredicate
QuintaryRelation
RelationExtendedToQuantities
Share
ShipCaptain
SingleValuedRelation
SpatialRelation
TemporalRelation
TernaryFunction
TernaryPredicate
TernaryRelation
TheaterProfession
TotalValuedRelation
UnaryFunction
WaterInfrastructureIssue
root classes that are both superclass and not subclass
SELECT sumoterm FROM sumotermattrs INNER JOIN sumoterms USING (sumoid) WHERE sumoattr= 'C' AND NOT sumoid IN (SELECT sumoid FROM sumotermattrs WHERE sumoattr = 'c')
sumoterm
ArcticRegion
Attorney
Celebrity
Christian
Contract
DiaryProduct
Entity
FinancialAccount
FinancialAsset
FinancialContract
Inductance
Law
MedicalDoctor
Muslim
PoliceOfficer
ServiceContract
SocialInteractions
Terminal
root classes that are both superclass and not subclass (flat)
SELECT sumoterm FROM sumoterms WHERE issuperclass AND (issubclass IS NULL OR NOT issubclass)
sumoterm
ArcticRegion
Attorney
Celebrity
Christian
Contract
DiaryProduct
Entity
FinancialAccount
FinancialAsset
FinancialContract
Inductance
Law
MedicalDoctor
Muslim
PoliceOfficer
ServiceContract
SocialInteractions
Terminal
root classes that are both superclass and not subclass (flat and tagged)
SELECT * FROM sumotaggedterms WHERE sumoid IN ( SELECT sumoid FROM sumoterms WHERE issuperclass AND (issubclass IS NULL OR NOT issubclass))
sumoidsumotermattrtag
1400ArcticRegionCi
1619AttorneyCai
3348CelebrityCai
3708ChristianCai
4240ContractC
9580DiaryProductC
10316EntityC
10967FinancialAccountC
10968FinancialAssetCi
10972FinancialContractC
12936InductanceCai
14608LawC
15794MedicalDoctorCai
16642MuslimCai
18874PoliceOfficerCai
20893ServiceContractC
21310SocialInteractionsC
22399TerminalC
relations
syntactic relations
SELECT * FROM sumorelations INNER JOIN sumoterms USING(sumoid) LIMIT 0,100
sumoidsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
1subclass11111
2subrelation1111
3instance1111
4disjoint1111
5domain1111
6partition1111
9subAttribute1111
10subProcess1111
11equal11111
12inverse1111
13=>11
14<=>11
19part1111
21format1
22documentation1111
24542abbrev1
24543abbreviation111111
24564agentOperatesInArea111111
24566agreementAdoptionDate1111
24567agreementEffectiveDate1111
24608atomicNumber1111
24627beliefGroupPercentInRegion1111
24632between1111
24635biochemicalAgentAntidote1111
24636biochemicalAgentDelivery1111
24637biochemicalAgentSyndrome1111
24639biologicalAgentCarrier1111
24643boilingPoint1111
24650caliber1111
24656capitalCity11111
24659carCode1
24662cardinality1111
24668causesSubclass1111
24679chiefOfStateType1111
24683claimedTerritory11111
24693commandRankOfEchelon1111
24696comparativeArea1111
24711connected11111
24718containsInformation111111
24725contraryAttribute1111
24727conventionalLongName11111
24728conventionalShortName111111
24749currencyType1111
24751currencyValue1111
24761dateDissolved1111
24762dateEstablished1111
24772decreasesLikelihood1111
24778dependentGeopoliticalArea1111
24780depth1111
24827diseaseIncubation1111
24828diseaseMortality1111
24829diseaseSymptom1111
24830diseaseTreatment1111
24831disjointDecomposition1111
24832disjointRelation1111
24838domainSubclass1111
24847earthAltitude11
24852economyType11111
24855effectiveDose1111
24868elevation1111
24874engineeringSubcomponent11
24885established1
24886ethnicityPercentInRegion1111
24890exhaustiveAttribute1111
24891exhaustiveDecomposition1111
24892exists111
24912externalImage1
24944flowsInto1
24945forall111
24947formerName11
24952geographicSubregion111111
24953geographicalSubregion1
24958government1
24959governmentType11111
24971groundSubsurfaceType1111
24972groundSurfaceType1111
24981hasHeadq1
25004holdsDuring1111
25021identityElement1111
25040inScopeOfInterest11111
25046increasesLikelihood1111
25047independenceDate1111
25052industryProductType1111
25055infantMortality1
25057inflationRateInCountry1111
25063initialPart111
25355landAreaOnly1111
25357languagePercentInRegion1111
25361latitude1
25363leaderPosition1111
25369length111
25385lethalDose1111
25386lexicon111
25397localLongName11111
25398localShortName11111
25399located11111
25402longitude1
25428meatOfAnimal111
25432meetsSpatially11111
25434meltingPoint1111
super relations
SELECT sumoterm FROM sumotermattrs INNER JOIN sumoterms USING (sumoid) WHERE sumoattr= 'R' LIMIT 10
sumoterm
Predicate
Function
AntisymmetricRelation
AssociativeFunction
AsymmetricRelation
BinaryFunction
BinaryPredicate
BinaryRelation
CaseRole
CommutativeFunction
root relations that are both superrelation and not subrelation
SELECT sumoterm FROM sumotermattrs INNER JOIN sumoterms USING (sumoid) WHERE sumoattr= 'R' AND NOT sumoid IN (SELECT sumoid FROM sumotermattrs WHERE sumoattr = 'r')
Relation
SELECT SUBSTRING(formula FROM 1 FOR 64) AS formula FROM sumoformulas INNER JOIN sumoparsemaps AS p1 USING (formulaid) INNER JOIN sumoparsemaps AS p2 USING (formulaid) INNER JOIN sumoterms AS t ON t.sumoid = p2.sumoid WHERE sumoterm = 'Relation' AND p1.sumoid < 3 AND p1.sumoparsetype = 'a' AND p1.argnum =0 AND p2.sumoparsetype = 'a' AND p2.argnum > 0 ORDER BY formula
formula
(subclass BinaryRelation Relation)
(subclass IntentionalRelation Relation)
(subclass List Relation)
(subclass PartialValuedRelation Relation)
(subclass PPPBasedEconomicValuation Relation)
(subclass Predicate Relation)
(subclass ProbabilityRelation Relation)
(subclass QuaternaryRelation Relation)
(subclass QuintaryRelation Relation)
(subclass Relation Abstract)
(subclass RelationExtendedToQuantities Relation)
(subclass SingleValuedRelation Relation)
(subclass SpatialRelation Relation)
(subclass TemporalRelation Relation)
(subclass TernaryRelation Relation)
(subclass TotalValuedRelation Relation)
(subclass VariableArityRelation Relation)
formulas
subclass formulas
SELECT * FROM sumosubclasses INNER JOIN sumoformulas USING(formulaid) LIMIT 20
formulaidsumoclassidsumosuperclassidformulasumofileid
3264911647(subclass Bowing Gesture)13
722417612694(subclass Woman Human)12
771851221717(subclass PerformanceStage StationaryArtifact)13
115199154123(subclass ReusingAResource ComputerProcess)19
12496744062(subclass Disseminating Communication)12
1422298018868(subclass TundraClimateZone PolarClimateZone)8
1461080422449(subclass FactualText Text)12
162156394185(subclass MassMeasure ConstantQuantity)12
200167818385(subclass Automobile PassengerVehicle)13
203308821717(subclass CanalLock StationaryArtifact)22
3552147117204(subclass SouthernNorthHalmaheraLanguage NorthHalmaheraLanguage)18
4262221511287(subclass TankCar FreightCar)22
452174112504(subclass Ocean BodyOfWater)8
5342017710140(subclass Rotor ElectricDevice)30
550430116135(subclass CopperOre MiningProduct)5
5552241513067(subclass TerrainAttribute InternalAttribute)8
5662275122791(subclass Touching Transfer)12
5862306816064(subclass USMilitaryRank MilitaryRank)14
624127562450(subclass HydrogenCyanide BloodAgent)24
6481526519500(subclass Magnetism RadiatingElectromagnetic)13
instance formulas
SELECT * FROM sumoinstances INNER JOIN sumoformulas USING(formulaid) LIMIT 20
formulaidsumoinstanceidsumoclassidformulasumofileid
5196891405(instance ReducingCrime AreaOfConcern)9
1520506799(instance SantaCarolinaAirport Airport)27
212580120006(instance rivers-Paraguay River)32
2653393762(instance Countries-ES-cities-Soyapango City)32
27777819271(instance Countries-THA-provinces-SouthernRegion Province)32
2968903762(instance Countries-PL-provinces-Koszalinskie-cities-Koszalin City)32
3320223799(instance RuseAirport Airport)27
423615799(instance ChignikAKAirport Airport)26
553942799(instance ColesCountyMemorialILAirport Airport)27
61132333762(instance IslamabadPakistan City)4
672598418356(instance temporalPart PartialOrderingRelation)12
84776019271(instance Countries-THA-provinces-PrachinBuri Province)32
9068203762(instance Countries-PK-cities-Gujrat City)32
922307820851(instance USMilitaryRankE9special SeniorNCORank)14
97165324476(instance AushiriLanguage ZaparoanLanguage)18
10190163762(instance Countries-cid-cia-Norfolk-Island-cities-Kingston City)32
10546373762(instance Countries-BR-provinces-Para-cities-Belem City)32
10823454799(instance VanimoAirport Airport)27
1102453921561(instance ZuniLanguage SpokenHumanLanguage)18
12020495799(instance SaniaRamelTetouanTetuanAirport Airport)27
subrelation formulas
SELECT * FROM sumosubclasses INNER JOIN sumoformulas USING (formulaid) LIMIT 20
formulaidsumoclassidsumosuperclassidformulasumofileid
3264911647(subclass Bowing Gesture)13
722417612694(subclass Woman Human)12
771851221717(subclass PerformanceStage StationaryArtifact)13
115199154123(subclass ReusingAResource ComputerProcess)19
12496744062(subclass Disseminating Communication)12
1422298018868(subclass TundraClimateZone PolarClimateZone)8
1461080422449(subclass FactualText Text)12
162156394185(subclass MassMeasure ConstantQuantity)12
200167818385(subclass Automobile PassengerVehicle)13
203308821717(subclass CanalLock StationaryArtifact)22
3552147117204(subclass SouthernNorthHalmaheraLanguage NorthHalmaheraLanguage)18
4262221511287(subclass TankCar FreightCar)22
452174112504(subclass Ocean BodyOfWater)8
5342017710140(subclass Rotor ElectricDevice)30
550430116135(subclass CopperOre MiningProduct)5
5552241513067(subclass TerrainAttribute InternalAttribute)8
5662275122791(subclass Touching Transfer)12
5862306816064(subclass USMilitaryRank MilitaryRank)14
624127562450(subclass HydrogenCyanide BloodAgent)24
6481526519500(subclass Magnetism RadiatingElectromagnetic)13
formulas having term "Bus"
SELECT * FROM sumoformulas INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm='Bus'
sumoidformulaidformulasumofileidmapidsumoparsetypeargnumsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
289531869(documentation Bus EnglishLanguage "Bus is the subclass of &%SelfPoweredRoadVehicles that can transport large numbers of passengers (i.e., dozens) at one time. It can be distinguished from a van which is designed to carry less than a dozen people.")1393768a1Bus1
289543828(=> (instance ?B Bus) (hasPurpose ?B (exists (?C ?T ?N) (and (instance ?C Collection) (instance ?T Transportation) (memberCount ?C ?N) (greaterThan ?N 11) (=> (member ?P ?C) (patient ?T ?P))))))13128842pBus1
289563690(=> (instance ?X BusStop) (hasPurpose ?X (exists (?B ?BO ?D) (and (instance ?B Bus) (instance ?BO Boarding) (instance ?D Deboarding) (located ?BO ?X) (located ?D ?X) (patient ?BO ?B) (patient ?D ?B)))))13187177cBus1
289569541(externalImage Bus "http://www.adampease.org/Articulate/SUMOpictures/pictures/ transportation/ bus/ bus_2.png")34204388a1Bus1
2895112158(termFormat EnglishLanguage Bus "bus")28329802a2Bus1
2895113338(subclass Bus SelfPoweredRoadVehicle)13333272a1Bus1
formulas (subclass X Vehicle)
SELECT formula FROM sumosubclasses AS s INNER JOIN sumoterms t ON t.sumoid = s.sumosuperclassid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='Vehicle'
formula
(subclass PassengerVehicle Vehicle)
(subclass MilitaryVehicle Vehicle)
(subclass LandVehicle Vehicle)
(subclass CargoVehicle Vehicle)
(subclass Spacecraft Vehicle)
(subclass WaterVehicle Vehicle)
(subclass UnpoweredVehicle Vehicle)
(subclass AgentPoweredVehicle Vehicle)
(subclass PoweredVehicle Vehicle)
(subclass Car Vehicle)
(subclass ArmoredVehicle Vehicle)
(subclass Aircraft Vehicle)
formulas (subclass Vehicle )
SELECT formula FROM sumosubclasses AS c INNER JOIN sumoterms t ON t.sumoid = c.sumoclassid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='Vehicle'
formula
(subclass Vehicle TransportationDevice)
formulas (instance Paris X )
SELECT formula FROM sumoinstances AS i INNER JOIN sumoterms t ON t.sumoid = i.sumoinstanceid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='Paris'
formula
(instance Paris EuropeanCity)
formulas (instance X EuropeanNation)
SELECT formula FROM sumoinstances AS i INNER JOIN sumoterms t ON t.sumoid = i.sumoclassid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='EuropeanNation'
formula
(instance HolySee EuropeanNation)
(instance Portugal EuropeanNation)
(instance Monaco EuropeanNation)
(instance Iceland EuropeanNation)
(instance Czechoslovakia EuropeanNation)
(instance UnitedKingdom EuropeanNation)
(instance SanMarino EuropeanNation)
(instance SovietUnion EuropeanNation)
(instance Finland EuropeanNation)
(instance Ireland EuropeanNation)
(instance Sweden EuropeanNation)
(instance Belgium EuropeanNation)
(instance Spain EuropeanNation)
(instance France EuropeanNation)
(instance Norway EuropeanNation)
(instance Denmark EuropeanNation)
(instance Netherlands EuropeanNation)
(instance Greece EuropeanNation)
(instance Malta EuropeanNation)
(instance Poland EuropeanNation)
(instance Italy EuropeanNation)
(instance Andorra EuropeanNation)
(instance Switzerland EuropeanNation)
(instance Germany EuropeanNation)
formulas (subrelation sister X )
SELECT formula FROM sumosubrelations AS r INNER JOIN sumoterms t ON t.sumoid = r.sumorelationid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='sister'
formula
(subrelation sister sibling)
formulas (subrelation X sister)
SELECT formula FROM sumosubrelations AS r INNER JOIN sumoterms t ON t.sumoid = r.sumosuperrelationid INNER JOIN sumoformulas USING(formulaid) WHERE sumoterm='sibling'
formula
(subrelation brother sibling)
(subrelation sister sibling)
wordnet map
types of sumownrel
SELECT sumownrel,COUNT(*) AS count FROM sumomaps GROUP BY sumownrel
sumownrelcount
=3821
+100452
@10895
:10
[599
mapped sumo terms
SELECT lemma,SUBSTRING(definition FROM 1 FOR 32),sumownrel,sumoterm FROM sumomaps INNER JOIN synsets USING (synsetid) INNER JOIN senses USING (synsetid) INNER JOIN words USING (wordid) INNER JOIN sumoterms USING (sumoid) WHERE lemma = 'above'
lemmaSUBSTRING(definition FROM 1 FOR 32)sumownrelsumoterm
abovean earlier section of a written +Text
aboveappearing earlier in the same te=Above
aboveat an earlier place+Above
abovein or to a place that is higher+Above
formula involving WordNet "car"
SELECT lemma,SUBSTRING(definition FROM 1 FOR 32),sumownrel,sumoterm, formula FROM sumomaps INNER JOIN sumoparsemaps USING(sumoid) INNER JOIN sumoformulas USING(formulaid) INNER JOIN synsets USING (synsetid) INNER JOIN senses USING (synsetid) INNER JOIN words USING (wordid) INNER JOIN sumoterms USING (sumoid) WHERE lemma = 'car' AND sumownrel = '='
lemmaSUBSTRING(definition FROM 1 FOR 32)sumownrelsumotermformula
cara motor vehicle with four wheels=Automobile(subclass Automobile PassengerVehicle)
cara motor vehicle with four wheels=Automobile(subclass Taxicab Automobile)
cara motor vehicle with four wheels=Automobile(=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4))
cara motor vehicle with four wheels=Automobile(=> (instance ?A Automobile) (equipmentCount ?A Axle 2))
cara motor vehicle with four wheels=Automobile(=> (instance ?GARAGE Garage) (hasPurpose (exists (?AUTO) (and (instance ?AUTO Automobile) (contains ?GARAGE ?Automobile)))))
cara motor vehicle with four wheels=Automobile(externalImage Automobile "http://www.adampease.org/Articulate/SUMOpictures/ pictures/ travel/ US_Road_Signs/ recreation/ rec_1/ automobile.png")
cara motor vehicle with four wheels=Automobile(industryProductType AutomobileManufacturing Automobile)
cara motor vehicle with four wheels=Automobile(=> (instance ?W RearWindow) (exists (?A) (and (instance ?A Automobile) (part ?W (BackFn ?A)))))
cara motor vehicle with four wheels=Automobile(subclass Automobile SelfPoweredRoadVehicle)
cara motor vehicle with four wheels=Automobile(=> (instance ?P ParkingLot) (hasPurpose ?P (exists (?K ?A) (and (instance ?K Keeping) (located ?K ?P) (patient ?K ?A) (instance ?A Automobile)))))
cara motor vehicle with four wheels=Automobile(termFormat EnglishLanguage Automobile "automobile")
cara motor vehicle with four wheels=Automobile(=> (instance ?W Windshield) (exists (?A) (and (instance ?A Automobile) (part ?W (FrontFn ?A)))))
cara motor vehicle with four wheels=Automobile(documentation Automobile EnglishLanguage "Automobile is a subclass of &%SelfPoweredRoadVehicles including passenger cars, family vans, light trucks, and sport utility vehicles. In general, this class covers four-wheeled passenger road vehicles.")
cara wheeled vehicle adapted to the=RailVehicle(subclass RailVehicle LandVehicle)
cara wheeled vehicle adapted to the=RailVehicle(subclass Train RailVehicle)
cara wheeled vehicle adapted to the=RailVehicle(documentation RailVehicle EnglishLanguage "A Vehicle designed to move on &%Railways.")
cara wheeled vehicle adapted to the=RailVehicle(subclass RollingStock RailVehicle)
cara wheeled vehicle adapted to the=RailVehicle(termFormat EnglishLanguage RailVehicle "rail vehicle")
cara wheeled vehicle adapted to the=RailVehicle(=> (instance ?X RailVehicle) (hasPurpose ?X (exists (?EV ?RAIL) (and (instance ?RAIL Railway) (instance ?EV Transportation) (holdsDuring (WhenFn ?EV) (meetsSpatially ?X ?RAIL))))))
cara wheeled vehicle adapted to the=RailVehicle(externalImage RailVehicle "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ LRCwithNightstarTest-Ottawa.jpg")
cara wheeled vehicle adapted to the=RailVehicle(=> (and (instance ?ORG Organization) (attribute ?ORG RailTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?MOVE ?RR) (and (instance ?MOVE Transportation) (or (patient ?MOVE ?P) (and (possesses ?P ?OBJ) (patient ?MOVE ?OBJ) (instance ?OBJ Object))) (possesses ?ORG ?RR) (instance ?RR RailVehicle))) ?MEM ?P))))))
rules
rules
SELECT * FROM sumorules LIMIT 20
formulaidformulasumofileid
30(=> (instance ?PLAY DramaticPlay) (hasPurpose ?PLAY (exists (?ACT ?PROP) (and (instance ?ACT DramaticActing) (containsInformation ?PLAY ?PROP) (realization ?ACT ?PROP)))))13
46(=> (and (instance ?ATOM Arsenic) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 74.922 Amu)))29
94(=> (and (instance ?ENTER Matriculation) (agent ?ENTER ?COLLEGE) (patient ?ENTER ?STUDENT) (instance ?COLLEGE College)) (exists (?GRAD ?SCHOOL) (and (instance ?GRAD Graduation) (agent ?GRAD ?SCHOOL) (patient ?GRAD ?STUDENT) (instance ?SCHOOL HighSchool) (earlier (WhenFn ?GRAD) (WhenFn ?ENTER)))))13
119(=> (instance ?AM AnteMeridiem) (exists (?D ?HOUR1 ?HOUR2) (and (instance ?HOUR1 (HourFn 24 ?D)) (starts ?HOUR1 ?AM) (instance ?HOUR2 (HourFn 12 ?D)) (finishes ?HOUR2 ?AM))))13
191(=> (and (subclass ?TEXT Periodical) (equal (SeriesVolumeFn ?TEXT ?INT1) ?VOLUME1) (equal (SeriesVolumeFn ?TEXT ?INT2) ?VOLUME2) (greaterThan ?INT2 ?INT1) (instance ?PUB1 Publication) (instance ?PUB2 Publication) (instance ?CBO1 ?VOLUME1) (instance ?CBO2 ?VOLUME2) (patient ?PUB1 ?CBO1) (patient ?PUB2 ?CBO2) (date ?PUB1 ?DATE1) (date ?PUB2 ?DATE2)) (before (EndFn ?DATE1) (EndFn ?DATE2)))12
194(=> (instance ?AUDITORIUM Auditorium) (hasPurpose ?AUDITORIUM (exists (?DEMO) (and (instance ?DEMO Demonstrating) (located ?DEMO ?AUDITORIUM)))))13
226(=> (instance ?SR SexualReproduction) (exists (?C) (and (instance ?C BiologicalConception) (subProcess ?C ?SR))))13
275(=> (instance ?STATE AmericanState) (part ?STATE UnitedStates))4
292(=> (instance ?PAPER Newspaper) (exists (?REPORT) (and (instance ?REPORT Report) (subsumesContentInstance ?PAPER ?REPORT))))13
377(=> (instance ?FORK StreamWaterConfluence) (exists (?STREAM1 ?STREAM2) (and (instance ?STREAM1 StreamWaterArea) (instance ?STREAM2 StreamWaterArea) (flows ?STREAM1 ?STREAM2))))8
384(=> (and (instance ?ATOM Hafnium) (instance ?ATOM Atom)) (measure ?ATOM (MeasureFn 178.49 Amu)))29
419(=> (diseaseTreatment ?DISEASE Bacitracin ?PROCESS) (and (instance ?DISEASE BacterialDisease) (instance ?PROCESS Putting)))24
445(=> (and (instance ?S LegalSummons) (patient ?S ?O) (destination ?S ?P)) (exists (?C ?T) (and (instance ?C CourtRoom) (containsInformation ?O (modalAttribute (holdsDuring ?T (located ?P ?C)) Law)))))13
476(=> (and (typicallyContainsPart ?PART ?WHOLE) (instance ?Y ?WHOLE)) (and (equal ?PARTPROB (ProbabilityFn (exists (?X) (and (instance ?X ?PART) (part ?X ?Y))))) (equal ?NOTPARTPROB (ProbabilityFn (not (exists (?X) (and (instance ?X ?PART) (part ?X ?Y)))))) (greaterThan ?PARTPROB ?NOTPARTPROB)))13
491(=> (instance ?INTERVAL TimeInterval) (finishes (ImmediatePastFn ?INTERVAL) (PastFn ?INTERVAL)))12
525(=> (instance ?INT Integer) (equal ?INT (PredecessorFn (SuccessorFn ?INT))))12
587(=> (and (instance ?COAST Seacoast) (instance ?WATER WaterArea) (orientation ?WATER ?COAST Adjacent)) (instance ?WATER SaltWaterArea))8
636(=> (instance ?EYE Eye) (capability Seeing instrument ?EYE))13
658(=> (and (instance ?STRAT CounterTerrorismStrategy) (instance ?PLANNING OperationPlanning) (result ?PLANNING ?STRAT)) (exists (?CT) (and (patient ?PLANNING ?CT) (instance ?CT CounterTerrorism))))17
664(=> (and (instance ?A Armor) (or (part ?A ?OBJ) (meetsSpatially ?A ?OBJ))) (hasPurpose ?A (not (exists (?DAMAGING) (and (instance ?DAMAGING Damaging) (instrument ?DAMAGING ?A) (experiencer ?DAMAGING ?OBJ))))))15
rules with "Vehicle" in premise
SELECT * FROM sumorules INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm = 'Vehicle' and sumoparsetype = 'p'
sumoidformulaidformulasumofileidmapidsumoparsetypeargnumsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
2348715311(=> (and (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))1545048pVehicle11
2348735224(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))13103630pVehicle11
2348762635(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))12184096pVehicle11
2348792246(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM)))12271289pVehicle11
23487115275(=> (and (instance ?B VehicleBrake) (instance ?V Vehicle) (part ?B ?V)) (hasPurpose ?B (exists (?S) (and (instance ?S (StopFn Motion)) (patient ?S ?V) (instrument ?S ?B)))))13338924pVehicle11
rules with "Vehicle" in conclusion
SELECT * FROM sumorules INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm = 'Vehicle' and sumoparsetype = 'c'
sumoidformulaidformulasumofileidmapidsumoparsetypeargnumsumotermischildofAttributeischildofFunctionischildofPredicateischildofRelationiscomparisonopisfunctionisinstanceislogicalismathisquantifierisrelationopissubclassissubclassofAttributeissubclassofFunctionissubclassofPredicateissubclassofRelationissubrelationissuperclassissuperrelation
23487954(=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V))))132832cVehicle11
234878827(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))1325899cVehicle11
2348715277(=> (and (instance ?ORG Organization) (attribute ?ORG ScenicAndSightseeingTransportation)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?P) (and (instance ?EV Selling) (instance ?P Human) (patient ?EV ?P) (confersRight (exists (?TRANS ?VEH) (and (instance ?TRANS Transportation) (instance ?TRANS RecreationOrExercise) (patient ?TRANS ?P) (possesses ?ORG ?VEH) (instance ?VEH Vehicle))) ?MEM ?P))))))3344944cVehicle11
2348715876(=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle))2246662cVehicle11
2348723503(=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V))))1369128cVehicle11
2348727130(=> (and (instance ?C CavalryUnit) (instance ?B Battle) (agent ?B ?C)) (exists (?P ?V ?T) (and (attribute ?P Soldier) (member ?P ?C) (instance ?T Transportation) (agent ?T ?P) (instance ?V Vehicle) (patient ?T ?V) (during ?T ?B))))1379798cVehicle11
2348738632(=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V)))))13113640cVehicle11
2348740653(=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V)))))13119554cVehicle11
2348743400(=> (and (instance ?W Wagon) (instance ?T Transportation) (instrument ?T ?W)) (exists (?P) (and (instance ?T Pulling) (agent ?T ?P) (patient ?T ?W) (or (instance ?P DomesticAnimal) (instance ?P Vehicle)))))13127550cVehicle11
2348745220(=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle))13132984cVehicle11
2348753249(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle))13156580cVehicle11
2348795047(=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V))))13279463cVehicle11
23487111672(=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE))))12328357cVehicle11
23487111789(=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V))))13328689cVehicle11
23487121737(=> (instance ?C Convoy) (exists (?V1 ?V2 ?TIME) (and (not (equal ?V1 ?V2)) (instance ?V1 Vehicle) (instance ?V2 Vehicle) (instance ?TIME TimeInterval) (temporalPart ?TIME (WhenFn ?C)) (holdsDuring ?TIME (and (member ?V1 ?C) (member ?V2 ?C))))))13357889cVehicle11
term tables from formulas
subclass-superclass
SELECT t1.sumoterm AS class,t2.sumoterm AS superclass,formula FROM sumosubclasses AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoclassid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperclassid = t2.sumoid ORDER BY class LIMIT 20
classsuperclassformula
AAMGuidedMissile(subclass AAM GuidedMissile)
AAMAirLaunchMissile(subclass AAM AirLaunchMissile)
AAMAirAttackMissile(subclass AAM AirAttackMissile)
AAVPassengerVehicle(subclass AAV PassengerVehicle)
AAVMilitaryVehicle(subclass AAV MilitaryVehicle)
AAVAmphibiousVehicle(subclass AAV AmphibiousVehicle)
AAVPoweredVehicle(subclass AAV PoweredVehicle)
AGMAirLaunchMissile(subclass AGM AirLaunchMissile)
AGMGroundAttackMissile(subclass AGM GroundAttackMissile)
AGM114AntiArmorWeapon(subclass AGM114 AntiArmorWeapon)
AGM114AGM(subclass AGM114 AGM)
AGM114BeamRidingGMissile(subclass AGM114 BeamRidingGMissile)
AGM65InfraRedGMissile(subclass AGM65 InfraRedGMissile)
AGM65AntiArmorWeapon(subclass AGM65 AntiArmorWeapon)
AGM65AGM(subclass AGM65 AGM)
AH1Helicopter(subclass AH1 Helicopter)
AH1MilitaryVehicle(subclass AH1 MilitaryVehicle)
AIM9InfraRedGMissile(subclass AIM9 InfraRedGMissile)
AIM9AAM(subclass AIM9 AAM)
AMRadioStationRadioStation(subclass AMRadioStation RadioStation)
relation-superrelation
SELECT t1.sumoterm AS relation,t2.sumoterm AS superrelation,formula FROM sumosubrelations AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumorelationid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperrelationid = t2.sumoid ORDER BY relation LIMIT 20
relationsuperrelationformula
AbortedLaunchFnAbortedFn(subrelation AbortedLaunchFn AbortedFn)
AbortedMissionFnAbortedFn(subrelation AbortedMissionFn AbortedFn)
CPUUtilizationFnUnaryFunction(subrelation CPUUtilizationFn UnaryFunction)
CitizenryFnResidentFn(subrelation CitizenryFn ResidentFn)
DensityFnPerFn(subrelation DensityFn PerFn)
ShorelineFnBorderFn(subrelation ShorelineFn BorderFn)
SpeedFnPerFn(subrelation SpeedFn PerFn)
abbreviationconventionalShortName(subrelation abbreviation conventionalShortName)
absorbedDosemeasure(subrelation absorbedDose measure)
abstractCounterpartrepresents(subrelation abstractCounterpart represents)
abstractionLevelproperty(subrelation abstractionLevel property)
accountAtagreementMember(subrelation accountAt agreementMember)
accountHolderagreementMember(subrelation accountHolder agreementMember)
administrativeCentergeopoliticalSubdivision(subrelation administrativeCenter geopoliticalSubdivision)
afterTaxIncomeincomeEarned(subrelation afterTaxIncome incomeEarned)
agemeasure(subrelation age measure)
agentinvolvedInEvent(subrelation agent involvedInEvent)
agentOperatesInAreapartlyLocated(subrelation agentOperatesInArea partlyLocated)
airTemperaturemeasure(subrelation airTemperature measure)
aliasnames(subrelation alias names)
instance-class
SELECT t1.sumoterm AS instance,t2.sumoterm AS class,formula FROM sumoinstances AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoinstanceid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumoclassid = t2.sumoid ORDER BY instance LIMIT 20
instanceclassformula
AAA-RatingFinancialRating(instance AAA-Rating FinancialRating)
ALManghamJrRegionalTXAirportAirport(instance ALManghamJrRegionalTXAirport Airport)
AMenderesIzmirAirportAirport(instance AMenderesIzmirAirport Airport)
APHillArmyAirFieldVAAirportAirport(instance APHillArmyAirFieldVAAirport Airport)
APucikwarLanguageCentralGreatAndamaneseLanguage(instance APucikwarLanguage CentralGreatAndamaneseLanguage)
ASEANRegionalForumOrganizationOfNations(instance ASEANRegionalForum OrganizationOfNations)
AachenAirportAirport(instance AachenAirport Airport)
AalborgAirportAirport(instance AalborgAirport Airport)
AariyaLanguageUnclassifiedSpokenLanguage(instance AariyaLanguage UnclassifiedSpokenLanguage)
AbaTennaDYilmaDireDawaAirportAirport(instance AbaTennaDYilmaDireDawaAirport Airport)
AbadanAirportAirport(instance AbadanAirport Airport)
AbaiangAirportAirport(instance AbaiangAirport Airport)
AbakanKhakassiaAirportAirport(instance AbakanKhakassiaAirport Airport)
AbauAirportAirport(instance AbauAirport Airport)
AbbotsfordBCAirportAirport(instance AbbotsfordBCAirport Airport)
AbbotsichnScotlandAirportAirport(instance AbbotsichnScotlandAirport Airport)
AbbseAirportAirport(instance AbbseAirport Airport)
AbecheAirportAirport(instance AbecheAirport Airport)
AbemamaAtollAirportAirport(instance AbemamaAtollAirport Airport)
AbengourouAirportAirport(instance AbengourouAirport Airport)
disjoints
SELECT t1.sumoterm AS disjoint1,t2.sumoterm AS disjoint2,formula FROM sumodisjoints AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumodisjoint1id = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumodisjoint2id = t2.sumoid ORDER BY disjoint1 LIMIT 20
disjoint1disjoint2formula
AboveTheLineBelowTheLine(disjoint AboveTheLine BelowTheLine)
AnaerobicExerciseDeviceAerobicExerciseDevice(disjoint AnaerobicExerciseDevice AerobicExerciseDevice)
ApartmentBuildingSingleFamilyResidence(disjoint ApartmentBuilding SingleFamilyResidence)
ArticleBook(disjoint Article Book)
ArtilleryCannonMilitaryTank(disjoint ArtilleryCannon MilitaryTank)
AsphaltFossilFuel(disjoint Asphalt FossilFuel)
AstronomicalBodyGeographicArea(disjoint AstronomicalBody GeographicArea)
AttachingDetaching(disjoint Attaching Detaching)
AutonomicProcessIntentionalProcess(disjoint AutonomicProcess IntentionalProcess)
BarnResidentialBuilding(disjoint Barn ResidentialBuilding)
BaseballStealBaseballWalk(disjoint BaseballSteal BaseballWalk)
BaseballStealBaseballHit(disjoint BaseballSteal BaseballHit)
BaseballStrikeBaseballHit(disjoint BaseballStrike BaseballHit)
BaseballWalkBaseballHit(disjoint BaseballWalk BaseballHit)
BecomingDrunkSoberingUp(disjoint BecomingDrunk SoberingUp)
BeginningOperationsCeasingOperations(disjoint BeginningOperations CeasingOperations)
BiochemicalWeaponRadioactiveWeapon(disjoint BiochemicalWeapon RadioactiveWeapon)
BirdMammal(disjoint Bird Mammal)
BuffaloDomesticAnimal(disjoint Buffalo DomesticAnimal)
CanineFeline(disjoint Canine Feline)
classes that are subclass of Vehicle
SELECT t1.sumoterm AS class FROM sumosubclasses AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoclassid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperclassid = t2.sumoid WHERE t2.sumoterm = 'Vehicle'
class
PassengerVehicle
MilitaryVehicle
LandVehicle
CargoVehicle
Spacecraft
WaterVehicle
UnpoweredVehicle
AgentPoweredVehicle
PoweredVehicle
Car
ArmoredVehicle
Aircraft
class(es) that Vehicle is a subclass of
SELECT t2.sumoterm AS class FROM sumosubclasses AS r INNER JOIN sumoformulas USING (formulaid) INNER JOIN sumoterms AS t1 ON r.sumoclassid = t1.sumoid INNER JOIN sumoterms AS t2 ON r.sumosuperclassid = t2.sumoid WHERE t1.sumoterm = 'Vehicle'
class
TransportationDevice
statistics
SELECT sumoattr,COUNT(*)AS count FROM sumotermattrs GROUP BY sumoattr ORDER BY sumoattr
sumoattrcount
@139
A274
C1266
F10
P6
R49
S106
a1006
c4298
f202
i18913
l7
m4
p729
q2
r1073
s309
y197
~5
SELECT attrtag,COUNT(*) AS count FROM sumotaggedterms GROUP BY attrtag ORDER BY attrtag
attrtagcount
@14
@Sipr9
@Siprs5
@Sir1
@Sirs6
@Spr1
@Ss3
@ipr73
@iprs8
@ipr~1
@ir6
@irs3
@l3
@lq2
@s4
ACac80
ACaci1
Aac188
Aaci5
C9
CFRScfir1
CFRcfir1
CFRcfr1
CPRScipr1
CRcfir1
CRcipr1
CRcir7
CRcr9
Cac1
Cai7
Cc1141
Cci2
Ccr1
Ci2
FRcfir2
FRcfr5
PRcipr4
PRcpr1
Rcir6
Rcr9
Sfiry4
Sipr37
Siprs20
Sir1
Sirs11
Ss6
aci5
ai719
c2817
ci8
fimry4
firsy3
firy180
i17118
ipr488
iprs76
ipr~4
ir25
irs55
irsy2
l2
s105
sy2
y2
SELECT COUNT(*) AS countofterms FROM sumoterms
countofterms
26056
SELECT COUNT(*) AS countofrules FROM sumorules
countofrules
3825
SELECT COUNT(*) AS countofformulas FROM sumoformulas
countofformulas
125551
SELECT COUNT(*) AS countoffunctionterms FROM sumoterms WHERE sumoterm LIKE '%Fn'
countoffunctionterms
197
SELECT COUNT(*) AS countofsubclassformulas FROM sumosubclassformulas
countofsubclassformulas
5055
SELECT COUNT(*) AS countofsubrelationformulas FROM sumosubrelationformulas
countofsubrelationformulas
321
SELECT COUNT(*) AS countofinstanceformulas FROM sumoinstanceformulas
countofinstanceformulas
19806
SELECT COUNT(*) AS countofdisjointformulas FROM sumodisjointformulas
countofdisjointformulas
134