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	Die Zahl 1 Argument von postCountry ist ein fall von PostalPlace %n{nicht}
(domain postCountry 2 GeopoliticalArea)	Mid-level-ontology.kif 24700-24700	Die Zahl 2 Argument von postCountry ist ein fall von GeopoliticalArea %n{nicht}
(instance postCountry AsymmetricRelation)	Mid-level-ontology.kif 24697-24697	postCountry ist ein fall von AsymmetricRelation %n{nicht}
(instance postCountry BinaryPredicate)	Mid-level-ontology.kif 24698-24698	postCountry ist ein fall von BinaryPredicate %n{nicht}
(subrelation postCountry located)	Mid-level-ontology.kif 24701-24701	postCountry ist eine teilrelation von befindetSich

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 befindet sich an %n{nicht} und PostalPlace ist ein fall von PostalPlace %n{nicht} und GeopoliticalArea ist ein fall von Nation %n{nicht} oder GeopoliticalArea ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht} genau dann wenn postCountry PostalPlace and GeopoliticalArea
(=> (and (postCity ?PLACE ?CITY) (geographicSubregion ?CITY ?AREA) (or (instance ?AREA Nation) (instance ?AREA DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?AREA))	Mid-level-ontology.kif 24729-24736	Wenn postCity PostalPlace and City und geographicSubregion City and GeopoliticalArea und GeopoliticalArea ist ein fall von Nation %n{nicht} oder GeopoliticalArea ist ein fall von DependencyOrSpecialSovereigntyArea %n{nicht}, dann postCountry PostalPlace and ** GeopoliticalArea