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 22534-22537
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 22531-22531	The number 1 argument of postCountry is an instance of PostalPlace
(domain postCountry 2 GeopoliticalArea)	Mid-level-ontology.kif 22532-22532	The number 2 argument of postCountry is an instance of geopolitical area
(instance postCountry AsymmetricRelation)	Mid-level-ontology.kif 22529-22529	postCountry is an instance of asymmetric relation
(instance postCountry BinaryPredicate)	Mid-level-ontology.kif 22530-22530	postCountry is an instance of binary predicate
(subrelation postCountry located)	Mid-level-ontology.kif 22533-22533	postCountry is a subrelation of located

appearance as argument number 2

(format ChineseLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4159-4159
(format ChineseTraditionalLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4158-4158
(format EnglishLanguage postCountry "%1 is in %2")	domainEnglishFormat.kif 4157-4157

antecedent

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

Mid-level-ontology.kif 22539-22543

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 22545-22552	A PostalPlace is located at a geopolitical area and the PostalPlace is an instance of PostalPlace 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 PostalPlace 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 22561-22568	If a PostalPlace 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 PostalPlace is in the geopolitical area