No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1768-1768 |
HaifaIsrael est une instance de PortCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1776-1776 |
HannoverGermany est une instance de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 884-884 |
ContainerPort est une sous-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 887-887 |
DeepDraftPort est une sous-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 852-852 |
RiverPort est une sous-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 868-868 |
SeaPort est une sous-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46726-46726 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46725-46725 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46724-46724 |
|