| 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 是 ContactSite 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24589-24589 | PostalPlace 是 LocalizablePlace 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | PostalPlace 是 固定人工制品 的 subclass |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24596-24596 | 军事装置 是 PostalPlace 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24598-24598 | 商业地点 是 PostalPlace 的 subclass |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24597-24597 | 住宅 是 PostalPlace 的 subclass |
| 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 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24852-24852 | postAddressText 的 2 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24756-24756 | postCity 的 1 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24611-24611 | postContactSite 的 1 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24699-24699 | postCountry 的 1 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24740-24740 | postDistrict 的 1 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24673-24673 | postNeighborhood 的 1 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24837-24837 | postPostOfficeBox 的 2 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24782-24782 | postPostcodeArea 的 1 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24813-24813 | postStreet 的 1 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24826-24826 | postStreetNumber 的 2 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24624-24624 | 单位号码 的 2 数量 是 PostalPlace 的 instance |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23223-23223 | 工作地址 的 1 数量 是 PostalPlace 的 instance |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24790-24795 | PostalPlace 是 located 在 PostcodeArea 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 PostcodeArea 是 PostcodeArea 的 instance 若且唯若 那个 PostalPlace 是在 post code 那个 PostcodeArea |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24763-24768 | PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24676-24681 | PostalPlace 是 located 在 Neighborhood 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 Neighborhood 是 Neighborhood 的 instance 若且唯若 那个 PostalPlace 是在 那个 Neighborhood |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24747-24752 | PostalPlace 是 located 在 州或省 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 州或省 是 州或省 的 instance 若且唯若 那个 PostalPlace 是在 那个 州或省 |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24713-24720 | PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域 |
| consequent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |
|
|
|