| appearance as argument number 1 |
|
| (documentation postCountry EnglishLanguage "(postCountry ?PostalPlace ?GeopoliticalArea) means that ?PostalPlace is located in the Nation or DependencyOrSpecialSovereigntyArea ?GeopoliticalArea.") | Mid-level-ontology.kif 24701-24704 | |
| (domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 24698-24698 | postCountry 的 1 数量 是 PostalPlace 的 instance |
| (domain postCountry 2 GeopoliticalArea) | Mid-level-ontology.kif 24699-24699 | postCountry 的 2 数量 是 地缘政治区域 的 instance |
| (instance postCountry AsymmetricRelation) | Mid-level-ontology.kif 24696-24696 | postCountry 是 非对称关系 的 instance |
| (instance postCountry BinaryPredicate) | Mid-level-ontology.kif 24697-24697 | postCountry 是 二元谓语 的 instance |
| (subrelation postCountry located) | Mid-level-ontology.kif 24700-24700 | postCountry 是 位于 的 subrelation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage postCountry "%1 是在 %2 ") | domainEnglishFormat.kif 4158-4158 | |
| (format ChineseTraditionalLanguage postCountry "%1 是在 %2 ") | domainEnglishFormat.kif 4157-4157 | |
| (format EnglishLanguage postCountry "%1 is in %2") | domainEnglishFormat.kif 4156-4156 | |
| (termFormat EnglishLanguage postCountry "post country") | domainEnglishFormat.kif 65905-65905 |
| antecedent |
|
|
| (=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 24706-24710 |
| consequent |
|
|
| (<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 24712-24719 | PostalPlace 是 located 在 地缘政治区域 和 那个 PostalPlace 是 PostalPlace 的 instance 和 那个 地缘政治区域 是 国家 的 instance 或 那个 地缘政治区域 是 依赖或特殊主权领域 的 instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域 |
| (=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 24728-24735 |
|
|
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 3.0 is open source software produced by Articulate Software and its partners