SUMO
terms
terms
SELECT * FROM sumoterms ORDER BY sumoid LIMIT 26
sumoidsumoterm
1subclass
2subrelation
3instance
4disjoint
5domain
6partition
7attribute
8property
9subAttribute
10subProcess
11equal
12inverse
13=>
14<=>
15contains
16element
17subset
18component
19part
20piece
21format
22documentation
23Relation
24Predicate
25Function
26Class
functors
SELECT * FROM sumoterms WHERE sumoterm LIKE '%Fn' LIMIT 20
sumoidsumoterm
496ABPFn
515ASPFn
547AbortedFn
548AbortedLaunchFn
549AbortedMissionFn
565AbsoluteValueFn
567AbstractionFn
580AccelerationFn
589AccountFn
631AdditionFn
632AddressFn
749AgentOfOrganismFn
764AgreementOrganizationFn
927AlbumCopiesFn
1708AssignmentFn
1782AttrFn
1795AuctionGMBFn
1888AvailableForMilitaryServiceMaleFn
1955BackFn
2381BeginFn
term Entity
SELECT * FROM sumoterms WHERE sumoterm = "Entity"
sumoidsumoterm
11043Entity
term Class (flat version)
SELECT * FROM sumoterms WHERE sumoterm = "Class"
sumoidsumoterm
26Class
attributes
term attributes
SELECT sumoattr FROM sumotermattrs GROUP BY sumoattr ORDER BY sumoattr
sumoattr
a
f
l
m
p
q
r
y
~
SELECT DISTINCT sumoattr FROM sumotermattrs ORDER BY sumoattr
sumoattr
a
f
l
m
p
q
r
y
~
attributes occurrences
SELECT sumoattr, COUNT(*) FROM sumotermattrs GROUP BY sumoattr
sumoattrCOUNT(*)
a1
f1
l7
m4
p1
q2
r1
y252
~5
co-occurring attributes
SELECT DISTINCT t1.sumoattr AS attr,t2.sumoattr AS cooccurringattr FROM sumotermattrs AS t1 INNER JOIN sumotermattrs AS t2 USING (sumoid) WHERE t2.sumoattr <> t1.sumoattr
attrcooccurringattr
my
ym
lq
ql
attribute tags
SELECT attrtag FROM sumotaggedterms GROUP BY attrtag ORDER BY attrtag
attrtag
a
f
l
lq
my
p
r
y
~
types of terms
math functions
SELECT * FROM sumoterms LEFT JOIN sumotermattrs USING (sumoid) WHERE sumoattr = 'm'
sumoidsumotermsumoattr
631AdditionFnm
10317DivisionFnm
18216MultiplicationFnm
24181SubtractionFnm
logical functions
SELECT * FROM sumoterms LEFT JOIN sumotermattrs USING (sumoid) WHERE sumoattr = 'l'
sumoidsumotermsumoattr
13=>l
14<=>l
27200andl
27546existsl
27614foralll
27956notl
27982orl
quantifiers
SELECT * FROM sumoterms LEFT JOIN sumotermattrs USING (sumoid) WHERE sumoattr = 'q'
sumoidsumotermsumoattr
27546existsq
27614forallq
comparison operators
SELECT * FROM sumoterms LEFT JOIN sumotermattrs USING (sumoid) WHERE sumoattr = '~'
sumoidsumotermsumoattr
11equal~
27646greaterThan~
27648greaterThanOrEqualTo~
27822lessThan~
27823lessThanOrEqualTo~
functions
SELECT * FROM sumoterms LEFT JOIN sumotermattrs USING (sumoid) WHERE sumoattr = 'y' LIMIT 20
sumoidsumotermsumoattr
496ABPFny
515ASPFny
547AbortedFny
548AbortedLaunchFny
549AbortedMissionFny
565AbsoluteValueFny
567AbstractionFny
580AccelerationFny
589AccountFny
631AdditionFny
632AddressFny
749AgentOfOrganismFny
764AgreementOrganizationFny
927AlbumCopiesFny
1708AssignmentFny
1782AttrFny
1795AuctionGMBFny
1888AvailableForMilitaryServiceMaleFny
1955BackFny
2381BeginFny
relation, attribute, predicate, function
SELECT * FROM sumoterms LEFT JOIN sumotermattrs USING (sumoid) WHERE sumoattr IN ('r','a','p','f')
sumoidsumotermsumoattr
23Relationr
24Predicatep
25Functionf
1783Attributea
relations
syntactic relations
SELECT * FROM sumorelations INNER JOIN sumoterms USING(sumoid) LIMIT 30
sumoidsumoterm
14<=>
13=>
27140abbrev
27142abbreviation
27146abstractPart
27158acronym
27159actionTendency
27170agentOperatesInArea
27171agreementAdoptionDate
27173agreementEffectiveDate
27228atomicNumber
27251beliefGroupPercentInRegion
27256between
27259biochemicalAgentAntidote
27260biochemicalAgentDelivery
27261biochemicalAgentSyndrome
27263biologicalAgentCarrier
27267boilingPoint
27280caliber
27289capitalCity
27292carCode
27295cardinality
27305causesSubclass
27318chiefOfStateType
27320claimedTerritory
27321classIntersection
27328codeMapping
27337commandRankOfEchelon
27339comment
27342comparativeArea
Relation in formulas
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 InheritableRelation 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
102639416331(subclass WaterMotion LiquidMotion)19
271795721043(subclass Motion Process)19
65125623839(subclass Getting ChangeOfPossession)19
802110819061(subclass Protein Nutrient)19
8274112954(subclass AgeGroup GroupOfPeople)19
872414055(subclass Predicate InheritableRelation)19
88259824(subclass BinaryPredicate Predicate)19
8925982599(subclass BinaryPredicate BinaryRelation)19
90259814055(subclass BinaryPredicate InheritableRelation)19
931423214111(subclass Investigating IntentionalPsychologicalProcess)19
95163094505(subclass LinguisticCommunication Communication)19
10634473567(subclass Canine Carnivore)19
107116973567(subclass Feline Carnivore)19
109242559931(subclass Sunday Day)19
1112676313707(subclass Woman Human)19
1222477625(subclass TernaryFunction Function)19
1232477621299(subclass TernaryFunction QuaternaryRelation)19
1242477614055(subclass TernaryFunction InheritableRelation)19
1271763424176(subclass Mineral Substance)19
1392477714055(subclass TernaryPredicate InheritableRelation)19
instance formulas
SELECT * FROM sumoinstances INNER JOIN sumoformulas USING(formulaid) LIMIT 20
formulaidsumoinstanceidsumoclassidformulasumofileid
42744623384(instance depth SingleValuedRelation)19
172753311073(instance equivalentContentClass EquivalenceRelation)19
21280131728(instance partiallyFills AsymmetricRelation)19
25283832598(instance uses BinaryPredicate)19
68173982596(instance MereologicalProductFn BinaryFunction)19
832418825139(instance SuccessorFn TotalValuedRelation)19
922771714301(instance husband IrreflexiveRelation)19
98281232598(instance rangeSubclass BinaryPredicate)19
99281231728(instance rangeSubclass AsymmetricRelation)19
1102831820112(instance temporalPart PartialOrderingRelation)19
1162735424777(instance confersNorm TernaryPredicate)19
1212719423384(instance altitude SingleValuedRelation)19
1291683223104(instance Male SexAttribute)19
1372823824399(instance spouse SymmetricRelation)19
142371025610(instance CeilingFn UnaryFunction)19
143371025139(instance CeilingFn TotalValuedRelation)19
1481626021037(instance Likely ProbabilityAttribute)19
149282852598(instance subsumesContentInstance BinaryPredicate)19
1612749324739(instance earlier TemporalRelation)19
2032782214301(instance lessThan IrreflexiveRelation)19
formulas having term "Bus"
SELECT * FROM sumoformulas INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm='Bus'
sumoidformulaidformulasumofileidmapidsumoparsetypeargnumsumoterm
320313658(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.")3153852a1Bus
320313952(=> (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))))))3155310pBus
320313953(=> (instance ?X BusStop) (hasPurpose ?X (exists (?B ?BO ?D) (and (instance ?B Bus) (instance ?BO Boarding) (instance ?D Deboarding) (eventLocated ?BO ?X) (eventLocated ?D ?X) (patient ?BO ?B) (patient ?D ?B)))))3155321cBus
320314076(subclass Bus PassengerVehicle)3155942a1Bus
320314416(subclass Bus SelfPoweredRoadVehicle)3156997a1Bus
320321850(termFormat EnglishLanguage Bus "bus")3884093a2Bus
3203122210(externalImage Bus "http://www.adampease.org/Articulate/SUMOpictures/pictures/transportation/bus/bus_2.png")45373092a1Bus
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 Spacecraft Vehicle)
(subclass WaterVehicle Vehicle)
(subclass LandVehicle Vehicle)
(subclass Aircraft Vehicle)
(subclass RecreationalVehicle Vehicle)
(subclass AgentPoweredVehicle Vehicle)
(subclass PassengerVehicle Vehicle)
(subclass CargoVehicle Vehicle)
(subclass UnpoweredVehicle Vehicle)
(subclass PoweredVehicle Vehicle)
(subclass ArmoredVehicle Vehicle)
(subclass MilitaryVehicle 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 Belgium EuropeanNation)
(instance Germany EuropeanNation)
(instance Norway EuropeanNation)
(instance UnitedKingdom EuropeanNation)
(instance HolySee EuropeanNation)
(instance SovietUnion EuropeanNation)
(instance France EuropeanNation)
(instance SanMarino EuropeanNation)
(instance Switzerland EuropeanNation)
(instance Spain EuropeanNation)
(instance Portugal EuropeanNation)
(instance Poland EuropeanNation)
(instance Finland EuropeanNation)
(instance Sweden EuropeanNation)
(instance Netherlands EuropeanNation)
(instance Italy EuropeanNation)
(instance Malta EuropeanNation)
(instance Iceland EuropeanNation)
(instance Greece EuropeanNation)
(instance Monaco EuropeanNation)
(instance Denmark EuropeanNation)
(instance Ireland EuropeanNation)
(instance Andorra EuropeanNation)
(instance Czechoslovakia 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)
rules
rules
SELECT * FROM sumorules LIMIT 20
formulaidformulasumofileid
1(=> (equal ?NUMBER (MultiplicationFn 1 ?NUMBER)) (equal (MeasureFn ?NUMBER MinuteDuration) (MeasureFn (MultiplicationFn ?NUMBER 60) SecondDuration)))19
2(=> (instance ?INT Integer) (equal ?INT (SuccessorFn (PredecessorFn ?INT))))19
8(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))19
9(=> (and (instance ?STRUCTURE AnimalAnatomicalStructure) (instance ?ANIMAL Organism) (part ?STRUCTURE ?ANIMAL)) (instance ?ANIMAL Animal))19
12(=> (links ?NODE1 ?NODE2 ?ARC) (links ?NODE2 ?NODE1 ?ARC))19
13(=> (instance ?POISON Poisoning) (exists (?THING) (and (patient ?POISON ?THING) (or (instance ?THING Organism) (instance ?THING AnatomicalStructure)))))19
22(=> (and (instance ?STRUCTURE PlantAnatomicalStructure) (instance ?PLANT Organism) (part ?STRUCTURE ?PLANT)) (instance ?PLANT Plant))19
23(=> (transactionAmount ?TRANS ?AMOUNT) (exists (?OBJ) (and (patient ?TRANS ?OBJ) (monetaryValue ?OBJ ?AMOUNT))))19
28(=> (and (instance ?ACT Surgery) (patient ?ACT ?ANIMAL)) (exists (?SUBACT) (and (instance ?SUBACT Cutting) (instance ?ANIMAL Animal) (patient ?SUBACT ?ANIMAL) (subProcess ?SUBACT ?ACT))))19
67(=> (instance ?INTERVAL TimeInterval) (exists (?POINT) (and (instance ?POINT TimePoint) (temporalPart ?POINT ?INTERVAL))))19
71(=> (and (holdsDuring ?INTERVAL (?REL ?INST1 ?INST2)) (instance ?INST1 Physical) (instance ?INST2 Physical)) (and (time ?INST1 ?INTERVAL) (time ?INST2 ?INTERVAL)))19
74(=> (modalAttribute ?FORMULA Permission) (modalAttribute ?FORMULA Possibility))19
76(=> (modalAttribute ?FORMULA Necessity) (modalAttribute ?FORMULA Possibility))19
84(=> (and (instance ?PROCESS StateChange) (patient ?PROCESS ?OBJ)) (exists (?PART ?STATE1 ?STATE2) (and (part ?PART ?OBJ) (instance ?STATE1 PhysicalState) (instance ?STATE2 PhysicalState) (not (equal ?STATE1 ?STATE2)) (holdsDuring (BeginFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE1)) (holdsDuring (EndFn (WhenFn ?PROCESS)) (attribute ?PART ?STATE2)))))19
108(=> (instance ?DEMO Demonstrating) (exists (?PERSON) (attends ?DEMO ?PERSON)))19
112(=> (and (height ?OBJECT ?HEIGHT) (top ?TOP ?OBJECT) (bottom ?BOTTOM ?OBJECT)) (distance ?TOP ?BOTTOM ?HEIGHT))19
133(=> (orientation ?OBJ1 ?OBJ2 Above) (not (connected ?OBJ1 ?OBJ2)))19
138(=> (instance ?INT Integer) (lessThan ?INT (SuccessorFn ?INT)))19
140(=> (equal (SuccessorFn ?INT1) (SuccessorFn ?INT2)) (equal ?INT1 ?INT2))19
147(=> (and (hole ?HOLE1 ?OBJ1) (hole ?HOLE2 ?OBJ2) (overlapsSpatially ?HOLE1 ?HOLE2)) (overlapsSpatially ?OBJ1 ?OBJ2))19
rules with "Vehicle" in premise
SELECT * FROM sumorules INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm = 'Vehicle' and sumoparsetype = 'p'
sumoidformulaidformulasumofileidmapidsumoparsetypeargnumsumoterm
259818(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (destination ?MOVE ?TO)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?TO)))1945pVehicle
25981783(=> (and (instance ?TRANSPORT Vehicle) (instance ?MOVE Translocation) (instrument ?MOVE ?TRANSPORT) (origin ?MOVE ?FROM)) (holdsDuring (BeginFn (WhenFn ?MOVE)) (located ?TRANSPORT ?FROM)))195108pVehicle
259815437(=> (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)))))2022295pVehicle
259816208(=> (and (instance ?DRIVING Driving) (subProcess ?TRANSPORT ?DRIVING) (instance ?TRANSPORT Transportation) (instance ?VEHICLE Vehicle) (patient ?DRIVING ?VEHICLE)) (conveyance ?TRANSPORT ?VEHICLE))2028717pVehicle
2598151475(=> (and (part ?WEAPON ?MV) (instance ?MV Vehicle)) (instance ?MV MilitaryVehicle))22172296pVehicle
2598153160(=> (and (instance ?P ParkingBrake) (instance ?V Vehicle) (part ?P ?V)) (hasPurpose ?P (holdsDuring ?E (and (attribute ?P DeviceOn) (not (exists (?T) (and (instance ?T Translocation) (patient ?T ?V))))))))3178821pVehicle
2598153288(=> (and (instance ?BP BrakePedal) (instance ?P Pushing) (instance ?V Vehicle) (destination ?P ?BP) (eventLocated ?P ?V) (part ?BP ?V)) (hasPurpose ?BP (exists (?FS ?F) (and (instance ?FS WearingFrictionSurface) (instance ?F Friction) (instrument ?F ?FS) (causes ?P ?F)))))3179624pVehicle
2598153385(=> (and (instance ?EG EngineGovernor) (instance ?V Vehicle) (connectedEngineeringComponents ?EG ?V) (governorSpeed ?E ?S)) (hasPurpose ?EG (not (exists (?T ?M) (and (instance ?T Translocation) (holdsDuring (WhenFn ?T) (and (measure ?V ?M) (greaterThan ?M ?S))))))))3180681pVehicle
rules with "Vehicle" in conclusion
SELECT * FROM sumorules INNER JOIN sumoparsemaps USING (formulaid) INNER JOIN sumoterms USING (sumoid) WHERE sumoterm = 'Vehicle' and sumoparsetype = 'c'
sumoidformulaidformulasumofileidmapidsumoparsetypeargnumsumoterm
25981573(=> (instance ?DRIVE Driving) (exists (?VEHICLE) (and (instance ?VEHICLE Vehicle) (patient ?DRIVE ?VEHICLE))))193285cVehicle
259814863(=> (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))))))2018803cVehicle
259815411(=> (instance ?L VehicleLight) (exists (?V) (and (instance ?V Vehicle) (part ?L ?V))))2022081cVehicle
259815412(=> (instance ?L Headlight) (exists (?V) (and (instance ?V Vehicle) (part ?L (FrontFn ?V)))))2022089cVehicle
259815413(=> (instance ?L Taillight) (exists (?V) (and (instance ?V Vehicle) (part ?L (BackFn ?V)))))2022097cVehicle
259815434(=> (instance ?C VehicleController) (exists (?V) (and (instance ?V Vehicle) (part ?C ?V))))2022269cVehicle
259815439(=> (instance ?W VehicleWindow) (exists (?V) (and (instance ?V Vehicle) (part ?W ?V))))2022309cVehicle
259815444(=> (instance ?FLEET Fleet) (memberType ?FLEET Vehicle))2022355cVehicle
259815643(=> (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))))2024063cVehicle
259815876(=> (instance ?W Window) (exists (?A) (and (part ?W ?A) (or (instance ?A Building) (instance ?A Room) (instance ?A Vehicle)))))2025902cVehicle
259815996(=> (and (instance ?B Boarding) (patient ?B ?V)) (instance ?V Vehicle))2026941cVehicle
259815999(=> (and (instance ?B Deboarding) (patient ?B ?VEHICLE)) (instance ?VEHICLE Vehicle))2026965cVehicle
259816158(=> (instance ?H Hijacking) (exists (?V) (and (instance ?V Vehicle) (patient ?H ?V))))2028312cVehicle
2598113947(=> (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)))))3155268cVehicle
2598113965(=> (instance ?SHIP VehicleCarrierShip) (cargoType ?SHIP Vehicle))3155406cVehicle
2598114000(=> (instance ?SVC TransportationService) (exists (?VEHICLE ?AGENT ?TRANS ?CUST) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (customer ?CUST ?AGENT) (instance ?VEHICLE Vehicle) (instance ?TRANS Transportation) (agent ?TRANS ?AGENT) (patient ?TRANS ?CUST) (instrument ?TRANS ?VEHICLE) (subProcess ?TRANS ?SVC))))3155664cVehicle
2598117226(=> (and (instance ?ITEM Object) (instance ?LISTING WebListing) (attribute ?LISTING ForSaleByOwner) (patient ?LISTING ?ITEM)) (instance ?ITEM Vehicle))3268151cVehicle
2598152013(=> (attribute ?H Valet) (hasPurpose ?H (and (instance ?VEHICLE Vehicle) (instance ?PUT Putting) (destination ?PUT ?PARK) (instance ?PARK ParkingRegion) (patient ?PUT ?VEHICLE) (agent ?PUT ?H))))30174457cVehicle
2598153156(=> (instance ?X SeatBelt) (hasPurpose ?X (exists (?PERSON ?STOP ?VEHICLE) (and (instance ?VEHICLE Vehicle) (part ?X ?VEHICLE) (instance ?PERSON Human) (contains ?VEHICLE ?PERSON) (instance ?STOP Process) (prevents ?STOP (KappaFn ?M (and (instance ?M Translocation) (patient ?M ?PERSON) (exists (?COLLISION) (and (or (instance ?COLLISION Decelerating) (instance ?COLLISION Impacting)) (experiencer ?COLLISION ?VEHICLE) (causes ?COLLISION ?M))) (modalAttribute (exists (?INJ ?IMP) (and (instance ?INJ Injuring) (instance ?IMP Impacting) (causes ?M ?INJ) (patient ?INJ ?PERSON) (subProcess ?IMP ?INJ))) Possibility))))))))3178798cVehicle
2598153407(=> (instance ?VSD VehicleSafetyDevice) (hasPurpose ?VSD (exists (?V) (and (instance ?V Vehicle) (part ?VSD ?V)))))3180904cVehicle
2598153484(=> (instance ?S VehicleSeat) (hasPurpose ?S (exists (?H ?T ?V) (and (instance ?H Human) (instance ?V Vehicle) (holdsDuring ?T (and (attribute ?H Sitting) (located ?H ?S) (located ?S ?V)))))))3181716cVehicle
25981135027(=> (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))))))43400862cVehicle
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
AAMAirLaunchMissile(subclass AAM AirLaunchMissile)
AAMAirAttackMissile(subclass AAM AirAttackMissile)
AAMGuidedMissile(subclass AAM GuidedMissile)
AAVMilitaryVehicle(subclass AAV MilitaryVehicle)
AAVAmphibiousVehicle(subclass AAV AmphibiousVehicle)
AAVPassengerVehicle(subclass AAV PassengerVehicle)
AAVPoweredVehicle(subclass AAV PoweredVehicle)
ACPowerSourcePowerSource(subclass ACPowerSource PowerSource)
AGMGroundAttackMissile(subclass AGM GroundAttackMissile)
AGMAirLaunchMissile(subclass AGM AirLaunchMissile)
AGM114BeamRidingGMissile(subclass AGM114 BeamRidingGMissile)
AGM114AntiArmorWeapon(subclass AGM114 AntiArmorWeapon)
AGM114AGM(subclass AGM114 AGM)
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)
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)
abbreviatedDisplayTitledisplayTitle(subrelation abbreviatedDisplayTitle displayTitle)
abbreviationconventionalShortName(subrelation abbreviation conventionalShortName)
absorbedDosemeasure(subrelation absorbedDose measure)
abstractCounterpartrepresents(subrelation abstractCounterpart represents)
abstractionLevelproperty(subrelation abstractionLevel property)
accountAtpartyToAgreement(subrelation accountAt partyToAgreement)
accountHolderpartyToAgreement(subrelation accountHolder partyToAgreement)
acronymabbreviation(subrelation acronym abbreviation)
administrativeCentergeopoliticalSubdivision(subrelation administrativeCenter geopoliticalSubdivision)
afterTaxIncomeincomeEarned(subrelation afterTaxIncome incomeEarned)
agemeasure(subrelation age measure)
agentinvolvedInEvent(subrelation agent involvedInEvent)
agentNamenames(subrelation agentName 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)
ABPFnUnaryFunction(instance ABPFn UnaryFunction)
ABTestExperimentAttribute(instance ABTest ExperimentAttribute)
ALManghamJrRegionalTXAirportAirport(instance ALManghamJrRegionalTXAirport Airport)
AMenderesIzmirAirportAirport(instance AMenderesIzmirAirport Airport)
APHillArmyAirFieldVAAirportAirport(instance APHillArmyAirFieldVAAirport Airport)
APucikwarLanguageCentralGreatAndamaneseLanguage(instance APucikwarLanguage CentralGreatAndamaneseLanguage)
ASEANRegionalForumOrganizationOfNations(instance ASEANRegionalForum OrganizationOfNations)
ASPFnUnaryFunction(instance ASPFn UnaryFunction)
AachenAirportAirport(instance AachenAirport Airport)
AalandIslandsArchipelago(instance AalandIslands Archipelago)
AalandIslandsDependencyOrSpecialSovereigntyArea(instance AalandIslands DependencyOrSpecialSovereigntyArea)
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)
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)
AltKeyControlKey(disjoint AltKey ControlKey)
AltKeyShiftKey(disjoint AltKey ShiftKey)
AltKeyFunctionKey(disjoint AltKey FunctionKey)
AltKeyHoldDownShiftKeyHoldDown(disjoint AltKeyHoldDown ShiftKeyHoldDown)
AltKeyHoldDownControlKeyHoldDown(disjoint AltKeyHoldDown ControlKeyHoldDown)
AnaerobicExerciseDeviceAerobicExerciseDevice(disjoint AnaerobicExerciseDevice AerobicExerciseDevice)
ApartmentBuildingSingleFamilyResidence(disjoint ApartmentBuilding SingleFamilyResidence)
ArrowKeyEnterKey(disjoint ArrowKey EnterKey)
ArticleBook(disjoint Article Book)
ArtilleryCannonMilitaryTank(disjoint ArtilleryCannon MilitaryTank)
AsphaltFossilFuel(disjoint Asphalt FossilFuel)
AstronomicalBodyGeographicArea(disjoint AstronomicalBody GeographicArea)
AttachingDetaching(disjoint Attaching Detaching)
AudioInputTouchSurfaceAction(disjoint AudioInput TouchSurfaceAction)
AudioInputJoystickMotion(disjoint AudioInput JoystickMotion)
AudioInputKeyboardAction(disjoint AudioInput KeyboardAction)
AutonomicProcessIntentionalProcess(disjoint AutonomicProcess IntentionalProcess)
BarnResidentialBuilding(disjoint Barn ResidentialBuilding)
BaseballStealBaseballWalk(disjoint BaseballSteal BaseballWalk)
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
Spacecraft
WaterVehicle
LandVehicle
Aircraft
RecreationalVehicle
AgentPoweredVehicle
PassengerVehicle
CargoVehicle
UnpoweredVehicle
PoweredVehicle
ArmoredVehicle
MilitaryVehicle
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
wordnet map
types of sumo-wn relations
SELECT sumownrel,COUNT(*) AS count FROM sumomaps GROUP BY sumownrel
sumownrelcount
=4757
+99285
@10597
:10
[601
mapped sumo terms
SELECT lemma,synsetid,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 > 'ab' AND lemma < 'ac' LIMIT 20
lemmasynsetidSUBSTRING(definition FROM 1 FOR 32)sumownrelsumoterm
ab initio400103744at the beginning+BeginFn
aba102668709a loose sleeveless outer garment+Clothing
aba102668615a fabric woven from goat hair an+Fabric
aba transit number106437204an identification number consist+uniqueIdentifier
abaca114971696a kind of hemp obtained from the+BodyPart
abaca112373948Philippine banana tree having le+FloweringPlant
abacinate202172822blind by holding a red-hot metal+Injuring
aback400076005having the wind against the forw+PositionalAttribute
aback400075922by surprise+PositionalAttribute
abactinal301670225(of radiate animals) located on +BodyPart
abacus102668977a tablet placed horizontally on +Artifact
abacus102668826a calculator that performs arith+Device
abadan108931375a port city in southwestern Iran@City
abaft400276839at or near or toward the stern o+BackFn
abalone101945510any of various large edible mari+Mollusk
abamp113659201a unit of current equal to 10 am@UnitOfMeasure
abampere113659201a unit of current equal to 10 am@UnitOfMeasure
abandon104892593the trait of lacking restraint o+PsychologicalAttribute
abandon107496363a feeling of extreme emotional i+EmotionalState
abandon202232813forsake, leave behind=UnilateralGiving
formula involving WordNet "car"
SELECT lemma,synsetid,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 = '=' LIMIT 20
lemmasynsetidSUBSTRING(definition FROM 1 FOR 32)sumownrelsumotermformula
car102961779a motor vehicle with four wheels=Automobile(typicalPart VehicleDoor Automobile)
car102961779a motor vehicle with four wheels=Automobile(=> (instance ?A Automobile) (equipmentCount ?A VehicleWheel 4))
car102961779a motor vehicle with four wheels=Automobile(=> (instance ?A Automobile) (equipmentCount ?A Axle 2))
car102961779a motor vehicle with four wheels=Automobile(subclass Automobile PassengerVehicle)
car102961779a 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.")
car102961779a motor vehicle with four wheels=Automobile(subclass Taxicab Automobile)
car102961779a motor vehicle with four wheels=Automobile(subclass Automobile SelfPoweredRoadVehicle)
car102961779a motor vehicle with four wheels=Automobile(=> (instance ?SVC ShuttleService) (exists (?LIST ?VEHICLE ?AGENT) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (instance ?VEHICLE Automobile) (instance ?LIST List) (forall (?X) (=> (inList ?X ?LIST) (and (instance ?X PostalPlace) (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?AGENT) (instrument ?TRANSPORT ?VEHICLE) (destination ?TRANSPORT ?X)))))))))
car102961779a motor vehicle with four wheels=Automobile(industryProductType AutomobileManufacturing Automobile)
car102961779a motor vehicle with four wheels=Automobile(termFormat EnglishLanguage Automobile "automobile")
car102961779a motor vehicle with four wheels=Automobile(=> (instance ?ICM IgnitionControlModule) (hasPurpose ?ICM (exists (?S ?A ?CP) (and (instance ?A Automobile) (instance ?S Spark) (instance ?CP ComputerProcess) (part ?ICM ?A) (eventLocated ?CP ?A) (eventLocated ?S ?A) (causes ?CP ?S)))))
car102961779a motor vehicle with four wheels=Automobile(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP)) (hasPurpose ?FP (exists (?GT ?EC) (and (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC)))))
car102961779a motor vehicle with four wheels=Automobile(subclass HoldenToranaAutomobile Automobile)
car102961779a motor vehicle with four wheels=Automobile(=> (and (instance ?FB FanBelt) (instance ?EF EngineFan) (instance ?A Automobile) (part ?FB ?A) (part ?EF ?A) (instance ?M Motion) (patient ?M ?FB)) (hasPurpose ?FB (exists (?M2) (and (instance ?M2 Rotating) (causes ?M ?M2) (patient ?M2 ?EF)))))
car102961779a motor vehicle with four wheels=Automobile(=> (instance ?EF EngineFan) (hasPurpose ?EF (exists (?C ?E ?A) (and (instance ?A Automobile) (instance ?C Cooling) (instance ?E InternalCombustionEngine) (part ?E ?A) (part ?EF ?A) (instrument ?C ?EF) (patient ?C ?E)))))
car102961779a motor vehicle with four wheels=Automobile(typicallyContainsPart AutomobileShock Automobile)
car102961779a motor vehicle with four wheels=Automobile(=> (instance ?A AutomobileShock) (hasPurpose ?A (exists (?C) (and (instance ?C Automobile) (part ?A ?C)))))
car102961779a motor vehicle with four wheels=Automobile(=> (and (instance ?A1 Automobile) (instance ?A2 Automobile) (instance ?S1 AutomobileShock) (part ?S1 ?A1) (not (exists (?S2) (and (instance ?S2 AutomobileShock) (part ?S2 ?A2)))) (dampingRatio ?A1 ?R1) (dampingRatio ?A2 ?R2)) (greaterThan ?R2 ?R1))
car102961779a motor vehicle with four wheels=Automobile(=> (and (instance ?FP FuelPump) (instance ?A Automobile) (part ?FP ?A) (instance ?T Transportation) (instance ?F Fuel) (patient ?T ?F) (instrument ?F ?FP) (instance ?GT GasTank) (part ?GT ?A) (instance ?EC EngineCylinder) (part ?EC ?A) (origin ?T ?GT) (destination ?T ?EC) (path ?T ?P)) (hasPurpose ?T (exists (?FF) (and (instance ?FF FuelFilter) (betweenOnPath ?GT ?FF ?EC ?P)))))
car102961779a motor vehicle with four wheels=Automobile(=> (and (instance ?T Transportation) (instance ?W Wheel) (instance ?A Automobile) (part ?W ?A) (instrument ?T ?A) (instance ?AB AntilockBrake) (instance ?D Decelerating) (instrument ?D ?AB) (part ?AB ?W)) (hasPurpose ?AB (exists (?R) (and (instance ?R Rotating) (during ?R ?D)))))
statistics
SELECT sumoattr,COUNT(*)AS count FROM sumotermattrs GROUP BY sumoattr ORDER BY sumoattr
sumoattrcount
a1
f1
l7
m4
p1
q2
r1
y252
~5
SELECT attrtag,COUNT(*) AS count FROM sumotaggedterms GROUP BY attrtag ORDER BY attrtag
attrtagcount
a1
f1
l5
lq2
my4
p1
r1
y248
~5
SELECT COUNT(*) AS countofterms FROM sumoterms
countofterms
28426
SELECT COUNT(*) AS countofrules FROM sumorules
countofrules
5434
SELECT COUNT(*) AS countofformulas FROM sumoformulas
countofformulas
142851
SELECT COUNT(*) AS countoffunctionterms FROM sumoterms WHERE sumoterm LIKE '%Fn'
countoffunctionterms
252
SELECT COUNT(*) AS countofsubclassformulas FROM sumosubclassformulas
countofsubclassformulas
6479
SELECT COUNT(*) AS countofsubrelationformulas FROM sumosubrelationformulas
countofsubrelationformulas
385
SELECT COUNT(*) AS countofinstanceformulas FROM sumoinstanceformulas
countofinstanceformulas
20786
SELECT COUNT(*) AS countofdisjointformulas FROM sumodisjointformulas
countofdisjointformulas
245