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 26364-26367
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 26361-26361 Le nombre 1 argument de postCountry est une instance de PostalPlace
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 26362-26362 Le nombre 2 argument de postCountry est une instance de secteur g�opolitique
(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 26359-26359 postCountry est une instance de relation asym�trique
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 26360-26360 postCountry est une instance de pr�dicat binaire
(subrelation postCountry located) Mid-level-ontology.kif 26363-26363 postCountry est une sous-relation de located

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


(format ChineseLanguage postCountry "%1 是在 %2 ") domainEnglishFormat.kif 4162-4162
(format ChineseTraditionalLanguage postCountry "%1 是在 %2 ") domainEnglishFormat.kif 4161-4161
(format EnglishLanguage postCountry "%1 is in %2") domainEnglishFormat.kif 4160-4160
(termFormat EnglishLanguage postCountry "post country") domainEnglishFormat.kif 65923-65923

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


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

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


(<=>
    (and
        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
        (or
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))		 Mid-level-ontology.kif 26375-26382 PostalPlace est situ� � secteur g�opolitique PostalPlace est une instance de PostalPlace secteur g�opolitique est une instance de nation secteur g�opolitique est une instance de DependencyOrSpecialSovereigntyArea postCountry PostalPlace and secteur g�opolitique
(=>
    (and
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
        (or
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))		 Mid-level-ontology.kif 26391-26398


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