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 22497-22500
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 22494-22494
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 22495-22495
(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 22492-22492
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 22493-22493
(subrelation postCountry located) Mid-level-ontology.kif 22496-22496

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


(format ChineseLanguage postCountry "%1 是在 %2 ") domainEnglishFormat.kif 4159-4159
(format ChineseTraditionalLanguage postCountry "%1 是在 %2 ") domainEnglishFormat.kif 4158-4158
(format EnglishLanguage postCountry "%1 is in %2") domainEnglishFormat.kif 4157-4157

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


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

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 22508-22515
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 22524-22531


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