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 24648-24650 | |
(subclass PostalPlace ContactSite) | Mid-level-ontology.kif 24647-24647 | PostalPlace è una sottoclasse di ContactSite |
(subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 24646-24646 | PostalPlace è una sottoclasse di LocalizablePlace |
(subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 24645-24645 | PostalPlace è una sottoclasse di ManufattoStatico |
appearance as argument number 2 |
(subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 24653-24653 | MilitaryInstallation è una sottoclasse di PostalPlace |
(subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 24655-24655 | PlaceOfCommerce è una sottoclasse di PostalPlace |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 24654-24654 | Residence è una sottoclasse di PostalPlace |
(termFormat EnglishLanguage PostalPlace "postal place") | Mid-level-ontology.kif 24651-24651 |
appearance as argument number 3 |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 24687-24687 | Il numero 2 argomenti di floorCode è un istanza di PostalPlace |
(domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 24909-24909 | Il numero 2 argomenti di postAddressText è un istanza di PostalPlace |
(domain postCity 1 PostalPlace) | Mid-level-ontology.kif 24813-24813 | Il numero 1 argomenti di postCity è un istanza di PostalPlace |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 24668-24668 | Il numero 1 argomenti di postContactSite è un istanza di PostalPlace |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 24756-24756 | Il numero 1 argomenti di postCountry è un istanza di PostalPlace |
(domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 24797-24797 | Il numero 1 argomenti di postDistrict è un istanza di PostalPlace |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 24730-24730 | Il numero 1 argomenti di postNeighborhood è un istanza di PostalPlace |
(domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 24894-24894 | Il numero 2 argomenti di postPostOfficeBox è un istanza di PostalPlace |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 24839-24839 | Il numero 1 argomenti di postPostcodeArea è un istanza di PostalPlace |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 24870-24870 | Il numero 1 argomenti di postStreet è un istanza di PostalPlace |
(domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 24883-24883 | Il numero 2 argomenti di postStreetNumber è un istanza di PostalPlace |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 24681-24681 | Il numero 2 argomenti di unitNumber è un istanza di PostalPlace |
(domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 23275-23275 | Il numero 1 argomenti di workAddress è un istanza di 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 |
|