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 24702-24705
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24699-24699 postCountry の数値 1 引数は PostalPlaceinstance では %n
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 24700-24700 postCountry の数値 2 引数は 地政学的地域instance では %n
(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 24697-24697 postCountry非対称関係instance では %n
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 24698-24698 postCountry2進述語instance では %n
(subrelation postCountry located) Mid-level-ontology.kif 24701-24701 postCountrylocatedsubrelation では %n

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

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


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

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 24713-24720 PostalPlace 地政学的地域located して %n PostalPlacePostalPlaceinstance では %n 地政学的地域国民instance では %n 地政学的地域DependencyOrSpecialSovereigntyAreainstance では %n postCountry PostalPlace and 地政学的地域
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 24729-24736


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