No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1768-1768 |
Haifa israel is an instance of port city |
No TPTP formula. May not be expressible in strict first order. |
CountriesAndRegions.kif 1776-1776 |
Hannover germany is an instance of port city |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 884-884 |
Container port is a subclass of port city |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 887-887 |
Deep draft port is a subclass of port city |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 852-852 |
River port is a subclass of port city |
No TPTP formula. May not be expressible in strict first order. |
Transportation.kif 868-868 |
Sea port is a subclass of port city |
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 |
|