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 5487-5489
No TPTP formula. May not be expressible in strict first order. Geography.kif 5485-5485 Waterway is a subclass of transitway
No TPTP formula. May not be expressible in strict first order. Geography.kif 5486-5486 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 5501-5501 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 62491-62491
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62490-62490
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 62489-62489

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 5491-5496

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