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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 24052-24055
(domain postCountry 1 PostalPlace) Mid-level-ontology.kif 24049-24049 domain postCountry, 1 and PostalPlace
(domain postCountry 2 GeopoliticalArea) Mid-level-ontology.kif 24050-24050 domain postCountry, 2 and GeopoliticalArea
(instance postCountry AsymmetricRelation) Mid-level-ontology.kif 24047-24047 instance postCountry and AsymmetricRelation
(instance postCountry BinaryPredicate) Mid-level-ontology.kif 24048-24048 instance postCountry and BinaryPredicate
(subrelation postCountry located) Mid-level-ontology.kif 24051-24051 subrelation postCountry and located

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


    (postCountry ?PLACE ?COUNTRY)
        (instance ?COUNTRY Nation)
        (instance ?COUNTRY DependencyOrSpecialSovereigntyArea)))
Mid-level-ontology.kif 24057-24061


        (located ?PLACE ?GEO)
        (instance ?PLACE PostalPlace)
            (instance ?GEO Nation)
            (instance ?GEO DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?GEO))
Mid-level-ontology.kif 24063-24070 located PostalPlace and GeopoliticalArea instance PostalPlace and PostalPlace instance GeopoliticalArea and Nation instance GeopoliticalArea and DependencyOrSpecialSovereigntyArea postCountry PostalPlace and GeopoliticalArea
        (postCity ?PLACE ?CITY)
        (geographicSubregion ?CITY ?AREA)
            (instance ?AREA Nation)
            (instance ?AREA DependencyOrSpecialSovereigntyArea)))
    (postCountry ?PLACE ?AREA))
Mid-level-ontology.kif 24079-24086

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