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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - GovernmentBuilding
GovernmentBuilding(government building)
more pictures...
Capitol, Capitol_Building, capitol, customhouse, customshouse, government_building, 政府大楼, 政府大樓

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


(documentation GovernmentBuilding EnglishLanguage "A building belonging to a Government") Mid-level-ontology.kif 20272-20272
(externalImage GovernmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 0/ 0d/ Japanese_General_Government_Building_1995.jpg") pictureList.kif 2203-2203 "http://upload.wikimedia.org/wikipedia/commons/0/0d/ Japanese_General_Government_Building_1995.jpg" is a URL depicting government building
(externalImage GovernmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 18/ Uscapitolindaylight.jpg") pictureList.kif 2202-2202 "http://upload.wikimedia.org/wikipedia/commons/1/18/ Uscapitolindaylight.jpg" is a URL depicting government building
(externalImage GovernmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 19/ Irishgovbuildings.JPG") pictureList.kif 1788-1788 "http://upload.wikimedia.org/wikipedia/commons/1/19/ Irishgovbuildings.JPG" is a URL depicting government building
(externalImage GovernmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ 1/ 1a/ US_Capitol_DC_2007.jpg") pictureList.kif 2201-2201 "http://upload.wikimedia.org/wikipedia/commons/1/1a/ US_Capitol_DC_2007.jpg" is a URL depicting government building
(externalImage GovernmentBuilding "http://upload.wikimedia.org/wikipedia/ commons/ d/ d0/ TokyoTocho.jpg") pictureList.kif 2204-2204 "http://upload.wikimedia.org/wikipedia/commons/d/d0/ TokyoTocho.jpg" is a URL depicting government building
(externalImage GovernmentBuilding "http://upload.wikimedia.org/wikipedia/ en/ a/ a2/ CannonOfficeBuildingDomeView.jpg") pictureList.kif 2205-2205 "http://upload.wikimedia.org/wikipedia/en/a/a2/CannonOfficeBuildingDomeView.jpg" is a URL depicting government building
(subclass GovernmentBuilding Building) Mid-level-ontology.kif 20271-20271 Government building is a subclass of building

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


(subclass EmbassyBuilding GovernmentBuilding) Mid-level-ontology.kif 20230-20230 Embassy building is a subclass of government building
(termFormat ChineseLanguage GovernmentBuilding "政府大楼") domainEnglishFormat.kif 26209-26209 "政府大楼" is the printable form of government building in ChineseLanguage
(termFormat ChineseTraditionalLanguage GovernmentBuilding "政府大樓") domainEnglishFormat.kif 26208-26208 "政府大樓" is the printable form of government building in ChineseTraditionalLanguage
(termFormat EnglishLanguage GovernmentBuilding "government building") domainEnglishFormat.kif 26207-26207 "government building" is the printable form of government building in english language

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


(=>
    (instance ?X GovernmentBuilding)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?X))))
Mid-level-ontology.kif 20274-20279


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