Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1572-1580	If a kind of transportation device is a subclass of transportation device and the transportation of a kind of transportation device is a subclass of transportation and a process is an instance of the transportation of the kind of transportation device, then there exists an object such that the object is an instance of the kind of transportation device and the object is an instrument for the process
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2610-2615	If a kind of self connected object is a trafficable for traffic type of a region and a kind of self connected object is a subclass of transportation device and an object is an instance of the kind of self connected object, then transportation capable at location instrument for the object with the region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15965-15965	Transportation device is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1035-1035	Ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1225-1225	Water ski is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Sports.kif 1279-1279	Wind surfing board is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Military.kif 128-128	Military platform is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15422-15422	Elevator is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15448-15448	Pump is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15461-15461	Oar is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 26124-26124	Wheelchair is a subclass of transportation device
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15974-15974	Vehicle is a subclass of transportation device

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