postCountry - Sigma Knowledge base Browser

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 25821-25824
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 25818-25818	The number 1 argument of post country is an instance of postal place
(domain postCountry 2 GeopoliticalArea)	Mid-level-ontology.kif 25819-25819	The number 2 argument of post country is an instance of geopolitical area
(instance postCountry AsymmetricRelation)	Mid-level-ontology.kif 25816-25816	post country is an instance of asymmetric relation
(instance postCountry BinaryPredicate)	Mid-level-ontology.kif 25817-25817	post country is an instance of binary predicate
(subrelation postCountry located)	Mid-level-ontology.kif 25820-25820	post country is a subrelation of located

appearance as argument number 2

(format ChineseLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4162-4162
(format ChineseTraditionalLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4161-4161
(format EnglishLanguage postCountry "%1 is in %2")	domainEnglishFormat.kif 4160-4160
(termFormat EnglishLanguage postCountry "post country")	domainEnglishFormat.kif 65954-65954

antecedent

(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))

Mid-level-ontology.kif 25826-25830

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 25832-25839	A postal place is located at a geopolitical area and the postal place is an instance of postal place and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area if and only if the postal place is in the geopolitical area
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA))	Mid-level-ontology.kif 25848-25855	If a postal place is in a city and the city is a geographic subregion of a geopolitical area and the geopolitical area is an instance of nation or the geopolitical area is an instance of dependency or special sovereignty area, then the postal place is in the geopolitical area