TreeView Knowledge Base Browser - LandVehicle

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 3466-3470
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 3465-3465	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 4769-4769	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 4591-4591	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 3508-3508	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 4614-4614	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 17779-17781	Objet est une instance de LandVehicle objet est capable de faire LandTransportation dans le r�le instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3377-3382	Objet est une instance de LandVehicle objet objet est une instance de Wheel objet est une partie de objet
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3472-3481	Physique est une instance de LandVehicle physique a pour but entit� entit� entit� est une surface de secteur g�ographique entit� est une instance de transporter physique rencontre entit� pendant temps d'existence de entit�

consequent

No TPTP formula. May not be expressible in strict first order.	naics.kif 8344-8364	Collection est une instance de organisation TransitAndGroundPassengerTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� entit� est une instance de transporter agent cognitif est un patient de entit� collection poss�de entit� entit� est une instance de LandVehicle
No TPTP formula. May not be expressible in strict first order.	naics.kif 8253-8275	Collection est une instance de organisation TruckTransportation est un attribut de collection AutonomousAgent processus processus est un membre de collection processus est un agent de AutonomousAgent agent cognitif AutonomousAgent est une instance de vendre agent cognitif est une instance de humain agent cognitif est un patient de AutonomousAgent processus autorise agent cognitif � ex�cut� des t�ches du type entit� entit� and entit� entit� est une instance de transporter agent cognitif poss�de entit� entit� est un patient de entit� entit� est une instance de objet collection poss�de entit� entit� est une instance de LandVehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17770-17777	Processus est une instance de LandTransportation objet objet objet est une instance de LandVehicle objet est une instance de zone de terre objet est un instrument pour processus objet est situ� � objet
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 3372-3379	Processus est une instance de LandTransportationService processus objet processus est une instance de LandTransportation objet est une instance de LandVehicle objet est un instrument pour processus processus est un sous-processus de processus
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22221-22229	Physique est une instance de Road physique a pour but entit� entit� entit� est une instance de transporter eventLocated entit� and physique entit� est une instance de LandVehicle entit� est un instrument pour entit�

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

Show without tree

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