PostalPlace | ![]() | 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 22387-22389 | |
(subclass PostalPlace ContactSite) | Mid-level-ontology.kif 22386-22386 | PostalPlace is a subclass of ContactSite |
(subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 22385-22385 | PostalPlace is a subclass of LocalizablePlace |
(subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 22384-22384 | PostalPlace is a subclass of stationary artifact |
appearance as argument number 2 |
![]() |
(subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 22391-22391 | Military installation is a subclass of PostalPlace |
(subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 22393-22393 | Place of commerce is a subclass of PostalPlace |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 22392-22392 | Residence is a subclass of PostalPlace |
appearance as argument number 3 |
![]() |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 22425-22425 | The number 2 argument of floorCode is an instance of PostalPlace |
(domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 22745-22745 | The number 2 argument of postAddressText is an instance of PostalPlace |
(domain postCity 1 PostalPlace) | Mid-level-ontology.kif 22551-22551 | The number 1 argument of postCity is an instance of PostalPlace |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 22406-22406 | The number 1 argument of postContactSite is an instance of PostalPlace |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 22494-22494 | The number 1 argument of postCountry is an instance of PostalPlace |
(domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 22535-22535 | The number 1 argument of postDistrict is an instance of PostalPlace |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 22468-22468 | The number 1 argument of postNeighborhood is an instance of PostalPlace |
(domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 22632-22632 | The number 2 argument of postPostOfficeBox is an instance of PostalPlace |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 22577-22577 | The number 1 argument of postPostcodeArea is an instance of PostalPlace |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 22608-22608 | The number 1 argument of postStreet is an instance of PostalPlace |
(domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 22621-22621 | The number 2 argument of postStreetNumber is an instance of PostalPlace |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 22419-22419 | The number 2 argument of unit number is an instance of PostalPlace |
(domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 21124-21124 | The number 1 argument of work address is an instance of PostalPlace |
antecedent |
![]() |
consequent |
![]() |
![]() |
![]() |