Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  Waterway

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 5578-5580
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

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 5593-5593 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 2983-2983 Water junction is a subclass of waterway
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62517-62517
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62516-62516
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62515-62515

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Transportation.kif 2667-2673
No TPTP formula. May not be expressible in strict first order. Geography.kif 5582-5588

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
No TPTP formula. May not be expressible in strict first order. Transportation.kif 665-673
No TPTP formula. May not be expressible in strict first order. Transportation.kif 856-862


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

Show without tree


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