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 est une sous-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24589-24589 | PostalPlace est une sous-classe de LocalizablePlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24588-24588 | 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 24596-24596 | MilitaryInstallation est une sous-classe de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24598-24598 | PlaceOfCommerce est une sous-classe de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24597-24597 | Residence est une sous-classe de 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 | 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 24852-24852 | 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 24756-24756 | 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 24611-24611 | 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 24699-24699 | 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 24740-24740 | 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 24673-24673 | 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 24837-24837 | 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 24782-24782 | 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 24813-24813 | 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 24826-24826 | 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 24624-24624 | 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 23223-23223 | 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 24790-24795 | 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 24763-24768 | 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 24676-24681 | 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 24747-24752 | 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 24713-24720 | 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 |
|