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.	Geography.kif 5576-5576	Waterway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5577-5577	Waterway is a subclass of water area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1678-1678	Shipping lane is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1679-1679	Shipping channel is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1680-1680	Sea lane is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1690-1690	Channel is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1691-1691	Canal lock is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1693-1693	Harbor is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2983-2983	Water junction is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5593-5593	Canal is a subclass of waterway

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