GovernmentBuilding - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass EmbassyBuilding GovernmentBuilding)	Mid-level-ontology.kif 22657-22657	Embassy building is a subclass of government building
(termFormat ChineseLanguage GovernmentBuilding "政府大楼")	domainEnglishFormat.kif 26314-26314	Embassy building is a subclass of government building
(termFormat ChineseTraditionalLanguage GovernmentBuilding "政府大樓")	domainEnglishFormat.kif 26313-26313	Embassy building is a subclass of government building
(termFormat EnglishLanguage GovernmentBuilding "government building")	domainEnglishFormat.kif 26312-26312	Embassy building is a subclass of government building

antecedent

(=>
    (instance ?X GovernmentBuilding)
    (exists (?G)
        (and
            (instance ?G Government)
            (possesses ?G ?X))))

Mid-level-ontology.kif 22688-22693