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 26253-26255 | |
(subclass PostalPlace ContactSite) | Mid-level-ontology.kif 26252-26252 | PostalPlace est une sous-classe de ContactSite |
(subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 26251-26251 | PostalPlace est une sous-classe de LocalizablePlace |
(subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 26250-26250 | PostalPlace est une sous-classe de artefact stationnaire |
appearance as argument number 2 |
![]() |
(subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 26258-26258 | MilitaryInstallation est une sous-classe de PostalPlace |
(subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 26260-26260 | PlaceOfCommerce est une sous-classe de PostalPlace |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 26259-26259 | Residence est une sous-classe de PostalPlace |
(termFormat EnglishLanguage PostalPlace "postal place") | Mid-level-ontology.kif 26256-26256 | Residence est une sous-classe de PostalPlace |
appearance as argument number 3 |
![]() |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 26292-26292 | Le nombre 2 argument de floorCode est une instance de PostalPlace |
(domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 26514-26514 | Le nombre 2 argument de postAddressText est une instance de PostalPlace |
(domain postCity 1 PostalPlace) | Mid-level-ontology.kif 26418-26418 | Le nombre 1 argument de postCity est une instance de PostalPlace |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 26273-26273 | Le nombre 1 argument de postContactSite est une instance de PostalPlace |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 26361-26361 | Le nombre 1 argument de postCountry est une instance de PostalPlace |
(domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 26402-26402 | Le nombre 1 argument de postDistrict est une instance de PostalPlace |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 26335-26335 | Le nombre 1 argument de postNeighborhood est une instance de PostalPlace |
(domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 26499-26499 | Le nombre 2 argument de postPostOfficeBox est une instance de PostalPlace |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 26444-26444 | Le nombre 1 argument de postPostcodeArea est une instance de PostalPlace |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 26475-26475 | Le nombre 1 argument de postStreet est une instance de PostalPlace |
(domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 26488-26488 | Le nombre 2 argument de postStreetNumber est une instance de PostalPlace |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 26286-26286 | Le nombre 2 argument de unitNumber est une instance de PostalPlace |
(domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 24864-24864 | Le nombre 1 argument de workAddress est une instance de PostalPlace |
antecedent |
![]() |
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 |
|
![]() |
![]() |