Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - LandVehicle
LandVehicle

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3459-3463
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1439-1439
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3458-3458 LandVehicle est une sous-classe de Vehicle

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2129-2129 AMEV est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 1573-1573 APC est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 4746-4746 AllTerrainVehicle est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. MilitaryDevices.kif 2019-2019 AmphibiousVehicle est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1923-1923 Cycle est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 4568-4568 FourWheelDriveVehicle est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 2033-2033 RailVehicle est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3501-3501 RoadVehicle est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1944-1944 Scooter est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Cars.kif 4591-4591 TwoWheelDriveVehicle est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. Transportation.kif 1846-1846 Wagon est une sous-classe de LandVehicle
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33301-33301
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33300-33300
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 33299-33299

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17807-17809
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3370-3375
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 3465-3474

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. naics.kif 8344-8364
No TPTP formula. May not be expressible in strict first order. naics.kif 8253-8275
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17798-17805
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3553-3560
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22274-22282


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners