Sigma KB Term Intersection

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1683-1688	If an object is an instance of river and a kind of self connected object is a trafficable for traffic type of the object and a kind of self connected object is a subclass of water vehicle, then the object is an instance of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2287-2292	If a kind of transportation device is a subclass of water vehicle and a process is an instance of the transportation of a kind of transportation device and the process is located at an object, then the object is an instance of water area
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3483-3483	Water vehicle is a subclass of vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2294-2294	Multihull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2297-2297	Displacement hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2436-2436	Fishing ship is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2461-2461	Planing hull water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2489-2489	Barge is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2492-2492	Tug boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2493-2493	Fire boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2494-2494	Ferry boat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2497-2497	Runabout is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2498-2498	Sailboat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2499-2499	Canoe is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 201-201	Kayak is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2505-2505	Personal watercraft is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Sports.kif 204-204	Keelboat is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Military.kif 151-151	Military water vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 2020-2020	Amphibious vehicle is a subclass of water vehicle
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17658-17658	Submarine is a subclass of water vehicle

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