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 24759-24762 | |
(domain postCountry 1 PostalPlace) | Mid-level-ontology.kif 24756-24756 | |
(domain postCountry 2 GeopoliticalArea) | Mid-level-ontology.kif 24757-24757 | |
(instance postCountry AsymmetricRelation) | Mid-level-ontology.kif 24754-24754 | |
(instance postCountry BinaryPredicate) | Mid-level-ontology.kif 24755-24755 | |
(subrelation postCountry located) | Mid-level-ontology.kif 24758-24758 |
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 65907-65907 |
antecedent |
(=> (postCountry ?PLACE ?COUNTRY) (or (instance ?COUNTRY Nation) (instance ?COUNTRY DependencyOrSpecialSovereigntyArea))) |
Mid-level-ontology.kif 24764-24768 |
consequent |
(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO)) |
Mid-level-ontology.kif 24770-24777 | |
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA)) |
Mid-level-ontology.kif 24786-24793 |