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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmbassyBuilding
EmbassyBuilding
embassy, embassy_building

appearance as argument number 1
-------------------------


(documentation EmbassyBuilding EnglishLanguage "An embassy is a Building that is owned by a Government to house its diplomatic and consular staff that is in another country.") Mid-level-ontology.kif 20172-20174
(externalImage EmbassyBuilding "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Australias_indonesian_embassy.jpg") pictureList.kif 1748-1748
(externalImage EmbassyBuilding "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ French_Embassy_Moscow.jpg") pictureList.kif 2160-2160
(subclass EmbassyBuilding GovernmentBuilding) Mid-level-ontology.kif 20171-20171

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


(termFormat EnglishLanguage EmbassyBuilding "embassy building") domainEnglishFormat.kif 4070-4070

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


(=>
    (instance ?X EmbassyBuilding)
    (exists (?EGOV ?OTHERGOV)
        (and
            (instance ?EGOV Nation)
            (instance ?OTHERGOV Nation)
            (not
                (equal ?EGOV ?OTHERGOV))
            (possesses ?EGOV ?X)
            (located ?X ?OTHERGOV))))
Mid-level-ontology.kif 20176-20185


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