TreeView Knowledge Base Browser

appearance as argument number 1

(subclass Parliament LegislativeOrganization)	Government.kif 1913-1913	Parliament is a subclass of legislative organization
(documentation Parliament EnglishLanguage "Parliament is the subclass of LegislativeOrganizations similar to that of the United Kingdom.")	Government.kif 1915-1916	Parliament is a subclass of legislative organization
(externalImage Parliament "http://upload.wikimedia.org/wikipedia/commons/ 1/ 10/ EuroparliamentCROPPED.jpg")	pictureList.kif 1891-1891	Parliament is a subclass of legislative organization
(externalImage Parliament "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ Reichstag_mit_Wiese2.jpg")	pictureList.kif 2279-2279	Parliament is a subclass of legislative organization
(externalImage Parliament "http://upload.wikimedia.org/wikipedia/commons/ 8/ 87/ Budapest_Parliament_4604.JPG")	pictureList.kif 2280-2280	Parliament is a subclass of legislative organization
(externalImage Parliament "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ House_of_Representatives%2C_Parliament_House%2C_Canberra.JPG")	pictureList.kif 2281-2281	Parliament is a subclass of legislative organization
(externalImage Parliament "http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ 20070124_sejm_sala_plenarna.jpg")	pictureList.kif 2282-2282	Parliament is a subclass of legislative organization

appearance as argument number 2

(termFormat EnglishLanguage Parliament "parliament")	domainEnglishFormat.kif 44459-44459
(termFormat ChineseTraditionalLanguage Parliament "議會")	domainEnglishFormat.kif 44460-44460
(termFormat ChineseLanguage Parliament "议会")	domainEnglishFormat.kif 44461-44461

consequent

(=>
    (and
        (governmentType ?PLACE ?TYPE)
        (instance ?PLACE GeopoliticalArea)
        (subAttribute ?TYPE ParliamentaryGovernment))
    (exists (?ORG)
        (and
            (instance ?ORG Parliament)
            (subOrganization ?ORG
                (GovernmentFn ?PLACE)))))

If X is a government type of Y, Y is an instance of geopolitical area, and X is a subattribute of parliamentary government, then there exists Z such that Z is an instance of parliament and Z is a part of the organization the government of Y