postCountry |
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 24702-24705 | |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 24699-24699 | postCountry の数値 1 引数は PostalPlace の instance では %n |
(domain postCountry 2 GeopoliticalArea) | Mid-level-ontology.kif 24700-24700 | postCountry の数値 2 引数は 地政学的地域 の instance では %n |
(instance postCountry AsymmetricRelation) | Mid-level-ontology.kif 24697-24697 | postCountry は 非対称関係 の instance では %n |
(instance postCountry BinaryPredicate) | Mid-level-ontology.kif 24698-24698 | postCountry は 2進述語 の instance では %n |
(subrelation postCountry located) | Mid-level-ontology.kif 24701-24701 | postCountry は located の subrelation では %n |
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 24707-24711 |
|
consequent |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 24713-24720 | PostalPlace は 地政学的地域 に located して %n PostalPlace は PostalPlace の instance では %n 地政学的地域 は 国民 の instance では %n 地政学的地域 は DependencyOrSpecialSovereigntyArea の instance では %n postCountry PostalPlace and 地政学的地域 |
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 24729-24736 |
|