PostalPlace |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24591-24593 | |
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 24589-24589 | 子類 PostalPlace and LocalizablePlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | 子類 PostalPlace and StationaryArtifact |
appearance as argument number 2 |
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 24598-24598 | 子類 商業地點 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 24594-24594 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24630-24630 | 域 floorCode, 2 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24852-24852 | 域 postAddressText, 2 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24756-24756 | 域 postCity, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24611-24611 | 域 postContactSite, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24699-24699 | 域 postCountry, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24740-24740 | 域 postDistrict, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24673-24673 | 域 postNeighborhood, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24837-24837 | 域 postPostOfficeBox, 2 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24782-24782 | 域 postPostcodeArea, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24813-24813 | 域 postStreet, 1 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24826-24826 | 域 postStreetNumber, 2 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24624-24624 | 域 單位號碼, 2 and PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23223-23223 | 域 工作地址, 1 and PostalPlace |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24790-24795 | 位於 PostalPlace and PostcodeArea 例 PostalPlace and PostalPlace 例 PostcodeArea and PostcodeArea PostalPlace 是在 post code PostcodeArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24763-24768 | 位於 PostalPlace and City 例 PostalPlace and PostalPlace 例 City and City PostalPlace 是在 City |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24676-24681 | 位於 PostalPlace and Neighborhood 例 PostalPlace and PostalPlace 例 Neighborhood and Neighborhood PostalPlace 是在 Neighborhood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24747-24752 | 位於 PostalPlace and StateOrProvince 例 PostalPlace and PostalPlace 例 StateOrProvince and StateOrProvince PostalPlace 是在 StateOrProvince |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | 位於 PostalPlace and GeopoliticalArea 例 PostalPlace and PostalPlace 例 GeopoliticalArea and Nation 例 GeopoliticalArea and 依賴或特殊主權領域 PostalPlace 是在 GeopoliticalArea |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |
|