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