![]() |
![]() ![]() ![]()
|
![]() |
|
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 24590-24592 | |
(subclass PostalPlace ContactSite) | Mid-level-ontology.kif 24589-24589 | PostalPlace は ContactSite の subclass では %n |
(subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 24588-24588 | PostalPlace は LocalizablePlace の subclass では %n |
(subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 24587-24587 | PostalPlace は 固定アーチファクト の subclass では %n |
appearance as argument number 2 |
![]() |
(subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 24595-24595 | MilitaryInstallation は PostalPlace の subclass では %n |
(subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 24597-24597 | PlaceOfCommerce は PostalPlace の subclass では %n |
(subclass Residence PostalPlace) | Mid-level-ontology.kif 24596-24596 | Residence は PostalPlace の subclass では %n |
(termFormat EnglishLanguage PostalPlace "postal place") | Mid-level-ontology.kif 24593-24593 |
appearance as argument number 3 |
![]() |
(domain floorCode 2 PostalPlace) | Mid-level-ontology.kif 24629-24629 | floorCode の数値 2 引数は PostalPlace の instance では %n |
(domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 24851-24851 | postAddressText の数値 2 引数は PostalPlace の instance では %n |
(domain postCity 1 PostalPlace) | Mid-level-ontology.kif 24755-24755 | postCity の数値 1 引数は PostalPlace の instance では %n |
(domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 24610-24610 | postContactSite の数値 1 引数は PostalPlace の instance では %n |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 24698-24698 | postCountry の数値 1 引数は PostalPlace の instance では %n |
(domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 24739-24739 | postDistrict の数値 1 引数は PostalPlace の instance では %n |
(domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 24672-24672 | postNeighborhood の数値 1 引数は PostalPlace の instance では %n |
(domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 24836-24836 | postPostOfficeBox の数値 2 引数は PostalPlace の instance では %n |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 24781-24781 | postPostcodeArea の数値 1 引数は PostalPlace の instance では %n |
(domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 24812-24812 | postStreet の数値 1 引数は PostalPlace の instance では %n |
(domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 24825-24825 | postStreetNumber の数値 2 引数は PostalPlace の instance では %n |
(domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 24623-24623 | unitNumber の数値 2 引数は PostalPlace の instance では %n |
(domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 23222-23222 | workAddress の数値 1 引数は PostalPlace の instance では %n |
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 |
|
![]() |
![]() |