Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| PostcodeArea(postcode area) |
| appearance as argument number 1 |
|
| (subclass PostcodeArea LocalizablePlace) | Mid-level-ontology.kif 27052-27052 | Postcode area is a subclass of localizable place |
| (documentation PostcodeArea EnglishLanguage "An instance of PostcodeArea is a LocalizablePlace that is identified by a Postcode.") | Mid-level-ontology.kif 27053-27055 | Postcode area is a subclass of localizable place |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PostcodeArea "postcode area") | domainEnglishFormat.kif 65346-65346 |
| appearance as argument number 3 |
|
|
| (domain postPostcodeArea 2 PostcodeArea) | Mid-level-ontology.kif 27065-27065 | The number 2 argument of post postcode area is an instance of postcode area |
| antecedent |
|
|
| (=> (instance ?AREA PostcodeArea) (exists (?GEO) (geographicSubregion ?AREA ?GEO))) |
Mid-level-ontology.kif 27057-27060 | If X is an instance of postcode area, then there exists Y such that X is a geographic subregion of Y |
| (<=> (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 |
|