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 24759-24762
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24756-24756 postCountry 的 1 数量 是 PostalPlaceinstance
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 24757-24757 postCountry 的 2 数量 是 地缘政治区域instance
(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 24754-24754 postCountry非对称关系instance
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 24755-24755 postCountry二元谓语instance
(subrelation postCountry located) Mid-level-ontology.kif 24758-24758 postCountry位于subrelation

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 65907-65907

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


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

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 24770-24777 PostalPlacelocated 地缘政治区域那个 PostalPlacePostalPlaceinstance那个 地缘政治区域国家instance那个 地缘政治区域依赖或特殊主权领域instance 若且唯若 那个 PostalPlace 是在 那个 地缘政治区域
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 24786-24793


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