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 24591-24593 | |
(subclass PostalPlace ContactSite) | Mid-level-ontology.kif 24590-24590 | PostalPlace e' uma sub-classe de ContactSite |
(subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 24589-24589 | PostalPlace e' uma sub-classe de LocalizablePlace |
(subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 24588-24588 | PostalPlace e' uma sub-classe de Artefato Estacionario |
appearance as argument number 2 |
(subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 24596-24596 | MilitaryInstallation e' uma sub-classe de PostalPlace |
(subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 24598-24598 | PlaceOfCommerce e' uma sub-classe de PostalPlace |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 24597-24597 | Residence e' uma sub-classe de PostalPlace |
(termFormat EnglishLanguage PostalPlace "postal place") | Mid-level-ontology.kif 24594-24594 |
appearance as argument number 3 |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 24630-24630 | O argumento numero 2 de floorCode e' uma instancia de PostalPlace |
(domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 24852-24852 | O argumento numero 2 de postAddressText e' uma instancia de PostalPlace |
(domain postCity 1 PostalPlace) | Mid-level-ontology.kif 24756-24756 | O argumento numero 1 de postCity e' uma instancia de PostalPlace |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 24611-24611 | O argumento numero 1 de postContactSite e' uma instancia de PostalPlace |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 24699-24699 | O argumento numero 1 de postCountry e' uma instancia de PostalPlace |
(domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 24740-24740 | O argumento numero 1 de postDistrict e' uma instancia de PostalPlace |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 24673-24673 | O argumento numero 1 de postNeighborhood e' uma instancia de PostalPlace |
(domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 24837-24837 | O argumento numero 2 de postPostOfficeBox e' uma instancia de PostalPlace |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 24782-24782 | O argumento numero 1 de postPostcodeArea e' uma instancia de PostalPlace |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 24813-24813 | O argumento numero 1 de postStreet e' uma instancia de PostalPlace |
(domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 24826-24826 | O argumento numero 2 de postStreetNumber e' uma instancia de PostalPlace |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 24624-24624 | O argumento numero 2 de unitNumber e' uma instancia de PostalPlace |
(domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 23223-23223 | O argumento numero 1 de workAddress e' uma instancia 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 2035-2053 |
|