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

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 26375-26382	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 26391-26398	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