Waterway - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Waterway

Waterway(waterway)

Grand_Canal, fairway, sea_lane, seaway, ship_route, trade_route, watercourse, waterway

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 5476-5478
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5474-5474	Waterway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5475-5475	Waterway is a subclass of water area

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1669-1669	Northern sea route is an instance of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 1660-1660	Northwest passage is an instance of waterway
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5490-5490	Canal 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 1690-1690	Channel 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 1680-1680	Sea 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 1678-1678	Shipping lane is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2990-2990	Water junction is a subclass of waterway
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62484-62484
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62483-62483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62482-62482

antecedent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 2674-2680	If a water area is an instance of waterway and the depth from a physical to the water area is a real number an unit of measure(s) and the unit of measure is an instance of UnitOfLength and another real number is less than the real number, then the other real number the unit of measure(s) is a navigable for draft of the water area
No TPTP formula. May not be expressible in strict first order.	Geography.kif 5480-5485	If a physical is an instance of waterway, then the physical has the purpose an entity is an instance of water transportation and the physical is path along which the entity occurs

consequent

No TPTP formula. May not be expressible in strict first order.	Transportation.kif 656-663	A length measure is a total length of waterways of a geographic area if and only if the length of the class described by a symbolic string is the length measure
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 665-673	If a real number an unit of measure(s) is a total length of waterways of a geographic area and the unit of measure is an instance of UnitOfLength and the real number is greater than 0, then there exists a physical such that the physical is an instance of waterway and the physical is located at the geographic area
No TPTP formula. May not be expressible in strict first order.	Transportation.kif 856-862	If an object is an instance of river port, then there exists another object such that the other object is an instance of river and the other object is an instance of waterway and the object meets the other object

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

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