No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1768-1768 |
HaifaIsrael e' uma instancia de PortCity |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1776-1776 |
HannoverGermany e' uma instancia de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 884-884 |
ContainerPort e' uma sub-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 887-887 |
DeepDraftPort e' uma sub-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 852-852 |
RiverPort e' uma sub-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 868-868 |
SeaPort e' uma sub-classe de PortCity |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46724-46724 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46723-46723 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 46722-46722 |
|