TreeView Knowledge Base Browser - GovernmentCabinet

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

GovernmentCabinet

Sigma KEE - GovernmentCabinet

GovernmentCabinet(government cabinet)

British_Cabinet, US_Cabinet, United_States_Cabinet, cabinet

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1509-1511
No TPTP formula. May not be expressible in strict first order.	Government.kif 1507-1507	Government cabinet is a subclass of government organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26286-26286
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26285-26285
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 26284-26284

antecedent

No TPTP formula. May not be expressible in strict first order.

Government.kif 1513-1524

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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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