|
|
   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 and ContactSite |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | 子類 PostalPlace and LocalizablePlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | 子類 PostalPlace and StationaryArtifact |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24595-24595 | 子類 軍事裝置 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 24596-24596 | 子類 住宅 and PostalPlace |
| 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 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24851-24851 | 域 postAddressText, 2 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24755-24755 | 域 postCity, 1 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24610-24610 | 域 postContactSite, 1 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24698-24698 | 域 postCountry, 1 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24739-24739 | 域 postDistrict, 1 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24672-24672 | 域 postNeighborhood, 1 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24836-24836 | 域 postPostOfficeBox, 2 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24781-24781 | 域 postPostcodeArea, 1 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24812-24812 | 域 postStreet, 1 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24825-24825 | 域 postStreetNumber, 2 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24623-24623 | 域 單位號碼, 2 and PostalPlace |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23222-23222 | 域 工作地址, 1 and PostalPlace |
| antecedent |
|
|
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24789-24794 | 位於 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 24762-24767 | 位於 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 24675-24680 | 位於 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 24746-24751 | 位於 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 24712-24719 | 位於 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 |
|
|
|
|