No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1669-1669 |
NorthernSeaRoute est une instance de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1660-1660 |
NorthwestPassage est une instance de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Geography.kif 5593-5593 |
Canal est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1691-1691 |
CanalLock est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1690-1690 |
Channel est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1693-1693 |
Harbor est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1680-1680 |
SeaLane est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1679-1679 |
ShippingChannel est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 1678-1678 |
ShippingLane est une sous-classe de Waterway |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 2983-2983 |
WaterJunction est une sous-classe de 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 |
|