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 est une sous-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | PostalPlace est une sous-classe de LocalizablePlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24587-24587 | PostalPlace est une sous-classe de artefact stationnaire |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24595-24595 | MilitaryInstallation est une sous-classe de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24597-24597 | PlaceOfCommerce est une sous-classe de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24596-24596 | Residence est une sous-classe de 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 | Le nombre 2 argument de floorCode est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24851-24851 | Le nombre 2 argument de postAddressText est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24755-24755 | Le nombre 1 argument de postCity est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24610-24610 | Le nombre 1 argument de postContactSite est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24698-24698 | Le nombre 1 argument de postCountry est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24739-24739 | Le nombre 1 argument de postDistrict est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24672-24672 | Le nombre 1 argument de postNeighborhood est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24836-24836 | Le nombre 2 argument de postPostOfficeBox est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24781-24781 | Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24812-24812 | Le nombre 1 argument de postStreet est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24825-24825 | Le nombre 2 argument de postStreetNumber est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24623-24623 | Le nombre 2 argument de unitNumber est une instance de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 23222-23222 | Le nombre 1 argument de workAddress est une instance de PostalPlace |
antecedent |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24789-24794 | PostalPlace est situ� � PostcodeArea PostalPlace est une instance de PostalPlace PostcodeArea est une instance de PostcodeArea postPostcodeArea PostalPlace and PostcodeArea |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24762-24767 | PostalPlace est situ� � ville PostalPlace est une instance de PostalPlace ville est une instance de ville postCity PostalPlace and ville |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24675-24680 | PostalPlace est situ� � Neighborhood PostalPlace est une instance de PostalPlace Neighborhood est une instance de Neighborhood postNeighborhood PostalPlace and Neighborhood |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24746-24751 | PostalPlace est situ� � Etat ou province PostalPlace est une instance de PostalPlace Etat ou province est une instance de Etat ou province postDistrict PostalPlace and Etat ou province |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24712-24719 | PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique |
consequent |
No TPTP formula. May not be expressible in strict first order. | Hotel.kif 2035-2053 |
|