No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | 子類 PostalPlace and StationaryArtifact |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24589-24589 | 子類 PostalPlace and LocalizablePlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24590-24590 | 子類 PostalPlace and ContactSite |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24596-24596 | 子類 軍事裝置 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24597-24597 | 子類 住宅 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24598-24598 | 子類 商業地點 and PostalPlace |