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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EmbassyBuilding
EmbassyBuilding(embassy building)
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 20231-20233
(externalImage EmbassyBuilding "http://upload.wikimedia.org/wikipedia/commons/ 3/ 3d/ Australias_indonesian_embassy.jpg") pictureList.kif 1748-1748 "http://upload.wikimedia.org/wikipedia/commons/3/3d/ Australias_indonesian_embassy.jpg" is a URL depicting embassy building
(externalImage EmbassyBuilding "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ French_Embassy_Moscow.jpg") pictureList.kif 2160-2160 "http://upload.wikimedia.org/wikipedia/commons/b/b0/ French_Embassy_Moscow.jpg" is a URL depicting embassy building
(subclass EmbassyBuilding GovernmentBuilding) Mid-level-ontology.kif 20230-20230 Embassy building is a subclass of government building

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


(termFormat ChineseLanguage EmbassyBuilding "使馆大楼") domainEnglishFormat.kif 21823-21823 "使馆大楼" is the printable form of embassy building in ChineseLanguage
(termFormat ChineseTraditionalLanguage EmbassyBuilding "使館大樓") domainEnglishFormat.kif 21822-21822 "使館大樓" is the printable form of embassy building in ChineseTraditionalLanguage
(termFormat EnglishLanguage EmbassyBuilding "embassy building") domainEnglishFormat.kif 21821-21821 "embassy building" is the printable form of embassy building in english language

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 20235-20244


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