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 24702-24705
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 24699-24699	O argumento numero 1 de postCountry e' uma instancia de PostalPlace
(domain postCountry 2 GeopoliticalArea)	Mid-level-ontology.kif 24700-24700	O argumento numero 2 de postCountry e' uma instancia de Area Geopolitica
(instance postCountry AsymmetricRelation)	Mid-level-ontology.kif 24697-24697	postCountry e' uma instancia de Relacao Assimetrica
(instance postCountry BinaryPredicate)	Mid-level-ontology.kif 24698-24698	postCountry e' uma instancia de Predicado Binario
(subrelation postCountry located)	Mid-level-ontology.kif 24701-24701	postCountry e' uma sub-relacao de located

appearance as argument number 2

(format ChineseLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4158-4158
(format ChineseTraditionalLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4157-4157
(format EnglishLanguage postCountry "%1 is in %2")	domainEnglishFormat.kif 4156-4156
(termFormat EnglishLanguage postCountry "post country")	domainEnglishFormat.kif 65905-65905

antecedent

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

Mid-level-ontology.kif 24707-24711

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24713-24720	PostalPlace e' situado em Area Geopolitica PostalPlace e' uma instancia de PostalPlace Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA))	Mid-level-ontology.kif 24729-24736	postCity PostalPlace and Cidade geographicSubregion Cidade and Area Geopolitica Area Geopolitica e' uma instancia de Nacao Area Geopolitica e' uma instancia de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and Area Geopolitica