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

Formal Language: 



KB Term:  Term intersection
English Word: 

  postCountry

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 22540-22543
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22537-22537
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 22538-22538
(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 22535-22535
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 22536-22536
(subrelation postCountry located) Mid-level-ontology.kif 22539-22539

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 22545-22549

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22551-22558
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 22567-22574


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 is open source software produced by Articulate Software and its partners