| 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 24590-24592 | |
| (subclass PostalPlace ContactSite) | Mid-level-ontology.kif 24589-24589 | PostalPlace ist eine teilkategorie von ContactSite |
| (subclass PostalPlace LocalizablePlace) | Mid-level-ontology.kif 24588-24588 | PostalPlace ist eine teilkategorie von LocalizablePlace |
| (subclass PostalPlace StationaryArtifact) | Mid-level-ontology.kif 24587-24587 | PostalPlace ist eine teilkategorie von StationaryArtifact |
| appearance as argument number 2 |
|
|
| (subclass MilitaryInstallation PostalPlace) | Mid-level-ontology.kif 24595-24595 | MilitaryInstallation ist eine teilkategorie von PostalPlace |
| (subclass PlaceOfCommerce PostalPlace) | Mid-level-ontology.kif 24597-24597 | PlaceOfCommerce ist eine teilkategorie von PostalPlace |
| (subclass Residence PostalPlace) | Mid-level-ontology.kif 24596-24596 | Residence ist eine teilkategorie von PostalPlace |
| (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 | Die Zahl 2 Argument von floorCode ist ein fall von PostalPlace %n{nicht} |
| (domain postAddressText 2 PostalPlace) | Mid-level-ontology.kif 24851-24851 | Die Zahl 2 Argument von postAddressText ist ein fall von PostalPlace %n{nicht} |
| (domain postCity 1 PostalPlace) | Mid-level-ontology.kif 24755-24755 | Die Zahl 1 Argument von postCity ist ein fall von PostalPlace %n{nicht} |
| (domain postContactSite 1 PostalPlace) | Mid-level-ontology.kif 24610-24610 | Die Zahl 1 Argument von postContactSite ist ein fall von PostalPlace %n{nicht} |
| (domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 24698-24698 | Die Zahl 1 Argument von postCountry ist ein fall von PostalPlace %n{nicht} |
| (domain postDistrict 1 PostalPlace) | Mid-level-ontology.kif 24739-24739 | Die Zahl 1 Argument von postDistrict ist ein fall von PostalPlace %n{nicht} |
| (domain postNeighborhood 1 PostalPlace) | Mid-level-ontology.kif 24672-24672 | Die Zahl 1 Argument von postNeighborhood ist ein fall von PostalPlace %n{nicht} |
| (domain postPostOfficeBox 2 PostalPlace) | Mid-level-ontology.kif 24836-24836 | Die Zahl 2 Argument von postPostOfficeBox ist ein fall von PostalPlace %n{nicht} |
| (domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 24781-24781 | Die Zahl 1 Argument von postPostcodeArea ist ein fall von PostalPlace %n{nicht} |
| (domain postStreet 1 PostalPlace) | Mid-level-ontology.kif 24812-24812 | Die Zahl 1 Argument von postStreet ist ein fall von PostalPlace %n{nicht} |
| (domain postStreetNumber 2 PostalPlace) | Mid-level-ontology.kif 24825-24825 | Die Zahl 2 Argument von postStreetNumber ist ein fall von PostalPlace %n{nicht} |
| (domain unitNumber 2 PostalPlace) | Mid-level-ontology.kif 24623-24623 | Die Zahl 2 Argument von unitNumber ist ein fall von PostalPlace %n{nicht} |
| (domain workAddress 1 PostalPlace) | Mid-level-ontology.kif 23222-23222 | Die Zahl 1 Argument von workAddress ist ein fall von PostalPlace %n{nicht} |
| antecedent |
|
|
| (<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 24789-24794 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und PostcodeArea ist ein fall von PostcodeArea %n{nicht} genau dann wenn postPostcodeArea ** PostalPlace and ** PostcodeArea |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO City)) (postCity ?PLACE ?GEO)) |
Mid-level-ontology.kif 24762-24767 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und City ist ein fall von City %n{nicht} genau dann wenn postCity ** PostalPlace and ** City |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO Neighborhood)) (postNeighborhood ?PLACE ?GEO)) |
Mid-level-ontology.kif 24675-24680 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und Neighborhood ist ein fall von Neighborhood %n{nicht} genau dann wenn postNeighborhood ** PostalPlace and ** Neighborhood |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 24746-24751 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und StateOrProvince ist ein fall von StateOrProvince %n{nicht} genau dann wenn postDistrict ** PostalPlace and ** StateOrProvince |
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 24712-24719 | PostalPlace befindet sich an %n{nicht} und ** PostalPlace ist ein fall von PostalPlace %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} oder ** GeopoliticalArea ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht} genau dann wenn postCountry ** PostalPlace and ** GeopoliticalArea |
| 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 |
|
|
|
|