Pocket
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24648-24650 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24647-24647 | PostalPlace est une sous-classe de ContactSite |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24646-24646 | PostalPlace est une sous-classe de LocalizablePlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24645-24645 | 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 24653-24653 | MilitaryInstallation est une sous-classe de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24655-24655 | PlaceOfCommerce est une sous-classe de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24654-24654 | Residence est une sous-classe de PostalPlace |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24651-24651 |
appearance as argument number 3 |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 24687-24687 | 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 24909-24909 | 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 24813-24813 | 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 24668-24668 | 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 24756-24756 | 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 24797-24797 | 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 24730-24730 | 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 24894-24894 | 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 24839-24839 | 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 24870-24870 | 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 24883-24883 | 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 24681-24681 | 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 23275-23275 | 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 24847-24852 | 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 24820-24825 | 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 24733-24738 | 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 24804-24809 | 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 24770-24777 | 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 |
|