PostalPlace
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24590-24592 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24589-24589 | PostalPlace 是 ContactSite 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | PostalPlace 是 LocalizablePlace 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | PostalPlace 是 固定人工制品 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24595-24595 | 军事装置 是 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 24596-24596 | 住宅 是 PostalPlace 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24593-24593 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24629-24629 | floorCode 的 2 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24851-24851 | postAddressText 的 2 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24755-24755 | postCity 的 1 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24610-24610 | postContactSite 的 1 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24698-24698 | postCountry 的 1 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24739-24739 | postDistrict 的 1 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24672-24672 | postNeighborhood 的 1 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24836-24836 | postPostOfficeBox 的 2 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24781-24781 | postPostcodeArea 的 1 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24812-24812 | postStreet 的 1 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24825-24825 | postStreetNumber 的 2 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24623-24623 | 单位号码 的 2 数量 是 PostalPlace 的 instance |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23222-23222 | 工作地址 的 1 数量 是 PostalPlace 的 instance |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24789-24794 | 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 24762-24767 | PostalPlace 是 located 在 城市 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 城市 是 城市 的 instance 若且唯若 那个 PostalPlace 是在 那个 城市 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24675-24680 | 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 24746-24751 | PostalPlace 是 located 在 州或省 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 州或省 是 州或省 的 instance 若且唯若 那个 PostalPlace 是在 那个 州或省 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24712-24719 | PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域 |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |