GovernmentBuilding - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass EmbassyBuilding GovernmentBuilding)	Mid-level-ontology.kif 24034-24034	Embassy building is a subclass of government building
(termFormat ChineseLanguage GovernmentBuilding "政府大楼")	domainEnglishFormat.kif 26308-26308	Embassy building is a subclass of government building
(termFormat ChineseTraditionalLanguage GovernmentBuilding "政府大樓")	domainEnglishFormat.kif 26307-26307	Embassy building is a subclass of government building
(termFormat EnglishLanguage GovernmentBuilding "government building")	domainEnglishFormat.kif 26306-26306	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 24065-24070