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 26366-26369
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 26363-26363	The number 1 argument of post country is an instance of postal place
(domain postCountry 2 GeopoliticalArea)	Mid-level-ontology.kif 26364-26364	The number 2 argument of post country is an instance of geopolitical area
(instance postCountry AsymmetricRelation)	Mid-level-ontology.kif 26361-26361	post country is an instance of asymmetric relation
(instance postCountry BinaryPredicate)	Mid-level-ontology.kif 26362-26362	post country is an instance of binary predicate
(subrelation postCountry located)	Mid-level-ontology.kif 26365-26365	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 65923-65923

antecedent

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

Mid-level-ontology.kif 26371-26375

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 26377-26384	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 26393-26400	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