GovernmentBuilding - Sigma Knowledge base Browser

appearance as argument number 1

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

appearance as argument number 2

(subclass EmbassyBuilding GovernmentBuilding)	Mid-level-ontology.kif 24651-24651	Embassy building is a subclass of government building
(termFormat EnglishLanguage GovernmentBuilding "government building")	domainEnglishFormat.kif 26282-26282	Embassy building is a subclass of government building
(termFormat ChineseTraditionalLanguage GovernmentBuilding "政府大樓")	domainEnglishFormat.kif 26283-26283	Embassy building is a subclass of government building
(termFormat ChineseLanguage GovernmentBuilding "政府大楼")	domainEnglishFormat.kif 26284-26284	Embassy building is a subclass of government building

antecedent

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

If X is an instance of government building, then there exists Y such that Y is an instance of government and Y possesses X