postPostcodeArea |
appearance as argument number 1 |
(documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.") | Mid-level-ontology.kif 24785-24788 | |
(domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 24782-24782 | Die Zahl 1 Argument von postPostcodeArea ist ein fall von PostalPlace %n{nicht} |
(domain postPostcodeArea 2 PostcodeArea) | Mid-level-ontology.kif 24783-24783 | Die Zahl 2 Argument von postPostcodeArea ist ein fall von PostcodeArea %n{nicht} |
(instance postPostcodeArea AsymmetricRelation) | Mid-level-ontology.kif 24780-24780 | postPostcodeArea ist ein fall von AsymmetricRelation %n{nicht} |
(instance postPostcodeArea BinaryPredicate) | Mid-level-ontology.kif 24781-24781 | postPostcodeArea ist ein fall von BinaryPredicate %n{nicht} |
(subrelation postPostcodeArea located) | Mid-level-ontology.kif 24784-24784 | postPostcodeArea ist eine teilrelation von befindetSich |
appearance as argument number 2 |
(format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4170-4170 | |
(format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4169-4169 | |
(format EnglishLanguage postPostcodeArea "%1 is in post code %2") | domainEnglishFormat.kif 4168-4168 | |
(termFormat EnglishLanguage postPostcodeArea "post postcode area") | domainEnglishFormat.kif 65909-65909 |
antecedent |
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 24797-24802 |
|
(=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 24804-24809 |
|
consequent |
(<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 24790-24795 | 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 |