Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  TangentFn

 Sigma KEE - postCountry
postCountry

appearance as argument number 1
-------------------------


(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 26979-26979 post country is an instance of asymmetric relation
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 26980-26980 post country is an instance of binary predicate
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 26981-26981 The number 1 argument of post country is an instance of postal place
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 26982-26982 The number 2 argument of post country is an instance of geopolitical area
(subrelation postCountry located) Mid-level-ontology.kif 26983-26983 post country is a subrelation of located
(documentation postCountry EnglishLanguage "(postCountry ?PostalPlace ?GeopoliticalArea) means that ?PostalPlace is located in the Nation or DependencyOrSpecialSovereigntyArea ?GeopoliticalArea.") Mid-level-ontology.kif 26984-26987 post country is a subrelation of located

appearance as argument number 2
-------------------------


(format EnglishLanguage postCountry "%1 is in %2") domainEnglishFormat.kif 4160-4160
(format ChineseTraditionalLanguage postCountry "%1 是在 %2 ") domainEnglishFormat.kif 4161-4161
(format ChineseLanguage postCountry "%1 是在 %2 ") domainEnglishFormat.kif 4162-4162
(termFormat EnglishLanguage postCountry "post country") domainEnglishFormat.kif 65932-65932

antecedent
-------------------------


(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))		 Mid-level-ontology.kif 26989-26993 If X is in Y, then Y is an instance of nation or Y is an instance of dependency or special sovereignty area

consequent
-------------------------


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 26995-27002 X is located at Y, X is an instance of postal place, Y is an instance of nation or Y is an instance of dependency or special sovereignty area if, and only if X is in Y
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))		 Mid-level-ontology.kif 27011-27018 If X is in Y, Y is a geographic subregion of Z, and Z is an instance of nation or Z is an instance of dependency or special sovereignty area, then X is in Z


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners