| appearance as argument number 1 |
|
| (documentation postPostcodeArea EnglishLanguage "(postPostcodeArea ?PostalPlace ?PostcodeArea) means that ?PostalPlace is located in ?PostcodeArea.") | Mid-level-ontology.kif 22592-22595 | |
| (domain postPostcodeArea 1 PostalPlace) | Mid-level-ontology.kif 22589-22589 | The number 1 argument of postPostcodeArea is an instance of PostalPlace |
| (domain postPostcodeArea 2 PostcodeArea) | Mid-level-ontology.kif 22590-22590 | The number 2 argument of postPostcodeArea is an instance of PostcodeArea |
| (instance postPostcodeArea AsymmetricRelation) | Mid-level-ontology.kif 22587-22587 | postPostcodeArea is an instance of asymmetric relation |
| (instance postPostcodeArea BinaryPredicate) | Mid-level-ontology.kif 22588-22588 | postPostcodeArea is an instance of binary predicate |
| (subrelation postPostcodeArea located) | Mid-level-ontology.kif 22591-22591 | postPostcodeArea is a subrelation of located |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4171-4171 | |
| (format ChineseTraditionalLanguage postPostcodeArea "%1 是在 post code %2 ") | domainEnglishFormat.kif 4170-4170 | |
| (format EnglishLanguage postPostcodeArea "%1 is in post code %2") | domainEnglishFormat.kif 4169-4169 |
| antecedent |
|
|
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?CITY) (instance ?CITY City)) (postCity ?PLACE ?CITY)) |
Mid-level-ontology.kif 22604-22609 |
|
| (=> (and (postPostcodeArea ?PLACE ?AREA) (geographicSubregion ?AREA ?GEO) (instance ?GEO StateOrProvince)) (postDistrict ?PLACE ?GEO)) |
Mid-level-ontology.kif 22611-22616 |
|
| consequent |
|
|
| (<=> (and (located ?PLACE ?AREA) (instance ?PLACE PostalPlace) (instance ?AREA PostcodeArea)) (postPostcodeArea ?PLACE ?AREA)) |
Mid-level-ontology.kif 22597-22602 | A PostalPlace is located at a PostcodeArea and the PostalPlace is an instance of PostalPlace and the PostcodeArea is an instance of PostcodeArea if and only if the PostalPlace is in post code the PostcodeArea |
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners