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 26383-26386
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 26380-26380	The number 1 argument of post country is an instance of postal place
(domain postCountry 2 GeopoliticalArea)	Mid-level-ontology.kif 26381-26381	The number 2 argument of post country is an instance of geopolitical area
(instance postCountry AsymmetricRelation)	Mid-level-ontology.kif 26378-26378	post country is an instance of asymmetric relation
(instance postCountry BinaryPredicate)	Mid-level-ontology.kif 26379-26379	post country is an instance of binary predicate
(subrelation postCountry located)	Mid-level-ontology.kif 26382-26382	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 26388-26392

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 26394-26401	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 26410-26417	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