PostalPlace | ![]() |
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 22430-22432 | |
(subclass PostalPlace ContactSite) | Mid-level-ontology.kif 22429-22429 | |
(subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 22428-22428 | |
(subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 22427-22427 |
appearance as argument number 2 |
![]() |
(subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 22434-22434 | |
(subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 22436-22436 | |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 22435-22435 |
appearance as argument number 3 |
![]() |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 22468-22468 | |
(domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 22788-22788 | |
(domain postCity 1 PostalPlace) | Mid-level-ontology.kif 22594-22594 | |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 22449-22449 | |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 22537-22537 | |
(domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 22578-22578 | |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 22511-22511 | |
(domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 22675-22675 | |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 22620-22620 | |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 22651-22651 | |
(domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 22664-22664 | |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 22462-22462 | |
(domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 21167-21167 |
antecedent |
![]() |
(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 22628-22633 | |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO)) |
Mid-level-ontology.kif 22601-22606 | |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 22514-22519 | |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 22585-22590 | |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 22551-22558 |
consequent |
![]() |
(=> (instance ?SVC ShuttleService) (exists (?LIST ?VEHICLE ?AGENT) (and (agent ?SVC ?AGENT) (possesses ?AGENT ?VEHICLE) (instance ?VEHICLE Automobile) (instance ?LIST List) (forall (?X) (=> (inList ?X ?LIST) (and (instance ?X PostalPlace) (exists (?TRANSPORT) (and (instance ?TRANSPORT Transportation) (agent ?TRANSPORT ?AGENT) (instrument ?TRANSPORT ?VEHICLE) (destination ?TRANSPORT ?X))))))))) |
Hotel.kif 1984-2002 |
![]() |
![]() |