PostalPlace(postal place) | ![]() | address |
appearance as argument number 1 |
![]() |
(documentation PostalPlace EnglishLanguage "A PostalPlace is any LocalizablePlace that can have a postal address, and to which hardcopy mail (letters, packages, etc.) can be delivered.") | Mid-level-ontology.kif 26255-26257 | |
(subclass PostalPlace ContactSite) | Mid-level-ontology.kif 26254-26254 | Postal place is a subclass of contact site |
(subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 26253-26253 | Postal place is a subclass of localizable place |
(subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 26252-26252 | Postal place is a subclass of stationary artifact |
appearance as argument number 2 |
![]() |
(subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 26260-26260 | Military installation is a subclass of postal place |
(subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 26262-26262 | Place of commerce is a subclass of postal place |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 26261-26261 | Residence is a subclass of postal place |
(termFormat EnglishLanguage PostalPlace "postal place") | Mid-level-ontology.kif 26258-26258 | Residence is a subclass of postal place |
appearance as argument number 3 |
![]() |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 26294-26294 | The number 2 argument of floor code is an instance of postal place |
(domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 26516-26516 | The number 2 argument of post address text is an instance of postal place |
(domain postCity 1 PostalPlace) | Mid-level-ontology.kif 26420-26420 | The number 1 argument of post city is an instance of postal place |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 26275-26275 | The number 1 argument of post contact site is an instance of postal place |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 26363-26363 | The number 1 argument of post country is an instance of postal place |
(domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 26404-26404 | The number 1 argument of post district is an instance of postal place |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 26337-26337 | The number 1 argument of post neighborhood is an instance of postal place |
(domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 26501-26501 | The number 2 argument of post post office box is an instance of postal place |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 26446-26446 | The number 1 argument of post postcode area is an instance of postal place |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 26477-26477 | The number 1 argument of post street is an instance of postal place |
(domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 26490-26490 | The number 2 argument of post street number is an instance of postal place |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 26288-26288 | The number 2 argument of unit number is an instance of postal place |
(domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 24866-24866 | The number 1 argument of work address is an instance of postal place |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |