TreeView 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 24052-24055
(domain postCountry 1 PostalPlace)	Mid-level-ontology.kif 24049-24049	domain postCountry, 1 and PostalPlace
(domain postCountry 2 GeopoliticalArea)	Mid-level-ontology.kif 24050-24050	domain postCountry, 2 and GeopoliticalArea
(instance postCountry AsymmetricRelation)	Mid-level-ontology.kif 24047-24047	instance postCountry and AsymmetricRelation
(instance postCountry BinaryPredicate)	Mid-level-ontology.kif 24048-24048	instance postCountry and BinaryPredicate
(subrelation postCountry located)	Mid-level-ontology.kif 24051-24051	subrelation postCountry and located

appearance as argument number 2

(format ChineseLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4163-4163
(format ChineseTraditionalLanguage postCountry "%1 是在 %2 ")	domainEnglishFormat.kif 4162-4162
(format EnglishLanguage postCountry "%1 is in %2")	domainEnglishFormat.kif 4161-4161

antecedent

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

Mid-level-ontology.kif 24057-24061

consequent

(<=> (and (located ?PLACE ?GEO) (instance ?PLACE PostalPlace) (or (instance ?GEO Nation) (instance ?GEO DependencyOrSpecialSovereigntyArea))) (postCountry ?PLACE ?GEO))	Mid-level-ontology.kif 24063-24070	located PostalPlace and GeopoliticalArea instance PostalPlace and PostalPlace instance GeopoliticalArea and Nation instance GeopoliticalArea and DependencyOrSpecialSovereigntyArea 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 24079-24086	postCity PostalPlace and City geographicSubregion City and GeopoliticalArea instance GeopoliticalArea and Nation instance GeopoliticalArea and DependencyOrSpecialSovereigntyArea postCountry PostalPlace and GeopoliticalArea