GovernmentCabinet - Sigma Knowledge base Browser

appearance as argument number 1

(documentation GovernmentCabinet EnglishLanguage "GovernmentCabinet is the class of GovernmentOrganizations whose purpose is to advise a President, Governor, or other political leader(s) on policy matters.")	Government.kif 1473-1475
(subclass GovernmentCabinet GovernmentOrganization)	Government.kif 1471-1471	Government cabinet is a subclass of government organization

appearance as argument number 2

(termFormat ChineseLanguage GovernmentCabinet "政府内阁")	domainEnglishFormat.kif 26320-26320
(termFormat ChineseTraditionalLanguage GovernmentCabinet "政府內閣")	domainEnglishFormat.kif 26319-26319
(termFormat EnglishLanguage GovernmentCabinet "government cabinet")	domainEnglishFormat.kif 26318-26318

antecedent

(=>
    (and
        (instance ?CAB GovernmentCabinet)
        (subOrganization ?CAB
            (GovernmentFn ?AREA))
        (instance ?AREA GeopoliticalArea))
    (hasPurpose ?CAB
        (exists (?ADVICE ?LEADER)
            (and
                (instance ?ADVICE Stating)
                (agent ?ADVICE ?CAB)
                (patient ?ADVICE ?LEADER)
                (leader ?LEADER
                    (GovernmentFn ?AREA))))))

Government.kif 1477-1488

If an organization is an instance of government cabinet and the organization is a part of the organization the government of a geopolitical area and the geopolitical area is an instance of geopolitical area,
then the organization has the purpose there exist an entity and another entity such that the entity is an instance of stating and the organization is an agent of the entity and the other entity is a patient of the entity and the government of the geopolitical area is a leader of the other entity

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 3.0 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: