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 11616-11616	Transportation is a subclass of translocation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7692-7692	Shipping is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7705-7705	Smuggling is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17684-17684	Air transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17697-17697	Space transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17738-17738	Water transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17766-17766	Land transportation is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17789-17789	Transport via a road vehicle is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11635-11635	Driving is a subclass of transportation
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 6531-6531	MoveToEvac is a subclass of transportation

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