Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| postPostcodeArea |
| appearance as argument number 1 |
|
| (instance postPostcodeArea AsymmetricRelation) | Mid-level-ontology.kif 27062-27062 | post postcode area is an instance of asymmetric relation |
| (instance postPostcodeArea BinaryPredicate) | Mid-level-ontology.kif 27063-27063 | post postcode area is an instance of binary predicate |
| (domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 27064-27064 | The number 1 argument of post postcode area is an instance of postal place |
| (domain postPostcodeArea 2 PostcodeArea) | Mid-level-ontology.kif 27065-27065 | The number 2 argument of post postcode area is an instance of postcode area |
| (subrelation postPostcodeArea located) | Mid-level-ontology.kif 27066-27066 | post postcode area is a subrelation of located |
| (documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.") | Mid-level-ontology.kif 27067-27070 | post postcode area is a subrelation of located |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage postPostcodeArea "%1 is in post code %2") | domainEnglishFormat.kif 4172-4172 | |
| (format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4173-4173 | |
| (format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4174-4174 | |
| (termFormat EnglishLanguage postPostcodeArea "post postcode area") | domainEnglishFormat.kif 65936-65936 |
| antecedent |
|
|
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 27079-27084 | If X is in post code Y, Y is a geographic subregion of Z, and Z is an instance of city, then X is in Z |
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 27086-27091 | If X is in post code Y, Y is a geographic subregion of Z, and Z is an instance of state or province, then X is in Z |
| consequent |
|
|
| (<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 27072-27077 | X is located at Y, X is an instance of postal place, Y is an instance of postcode area if, and only if X is in post code Y |
|