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 | |
(domain postCountry 2 GeopoliticalArea) | Mid-level-ontology.kif 24700-24700 | |
(instance postCountry AsymmetricRelation) | Mid-level-ontology.kif 24697-24697 | |
(instance postCountry BinaryPredicate) | Mid-level-ontology.kif 24698-24698 | |
(subrelation postCountry located) | Mid-level-ontology.kif 24701-24701 |
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 | |
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 24729-24736 |