Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - postCountry
postCountry

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 22465-22468
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22462-22462 The number 1 argument of postCountry is an instance of PostalPlace
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 22463-22463 The number 2 argument of postCountry is an instance of geopolitical area
(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 22460-22460 postCountry is an instance of asymmetric relation
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 22461-22461 postCountry is an instance of binary predicate
(subrelation postCountry located) Mid-level-ontology.kif 22464-22464 postCountry is a subrelation of located

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


(format EnglishLanguage postCountry "%1 is in %2") domainEnglishFormat.kif 1049-1049

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


(=>
    (postCountry ?PLACE ?COUNTRY)
    (or
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))
Mid-level-ontology.kif 22470-22474

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22476-22483 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 22492-22499


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



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners