| 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 26272-26274 | |
| (subclass PostalPlace ContactSite) | Mid-level-ontology.kif 26271-26271 | |
| (subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 26270-26270 | |
| (subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 26269-26269 |
| appearance as argument number 2 |
|
|
| (subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 26277-26277 | |
| (subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 26279-26279 | |
| (subclass Residence PostalPlace) | Mid-level-ontology.kif 26278-26278 | |
| (termFormat EnglishLanguage PostalPlace "postal place") | Mid-level-ontology.kif 26275-26275 |
| appearance as argument number 3 |
|
|
| (domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 26311-26311 | |
| (domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 26533-26533 | |
| (domain postCity 1 PostalPlace) | Mid-level-ontology.kif 26437-26437 | |
| (domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 26292-26292 | |
| (domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 26380-26380 | |
| (domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 26421-26421 | |
| (domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 26354-26354 | |
| (domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 26518-26518 | |
| (domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 26463-26463 | |
| (domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 26494-26494 | |
| (domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 26507-26507 | |
| (domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 26305-26305 | |
| (domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 24883-24883 |
| antecedent |
|
|
| (<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 26471-26476 | |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO)) |
Mid-level-ontology.kif 26444-26449 | |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 26357-26362 | |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 26428-26433 | |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 26394-26401 |
| 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 2046-2064 |
|
|
|