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
No TPTP formula. May not be expressible in strict first order. Geography.kif 5480-5485

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