TreeView Knowledge Base Browser - CabinetFn

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - CabinetFn

CabinetFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Government.kif 1492-1494
No TPTP formula. May not be expressible in strict first order.	Government.kif 1489-1489	The number 1 argument of cabinet is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Government.kif 1488-1488	Cabinet is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Government.kif 1490-1490	The range of cabinet is an instance of government organization

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 332-332
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 331-331
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 330-330
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12586-12586
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12585-12585
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 12584-12584

consequent

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

Government.kif 1496-1498

If a geopolitical area is an instance of geopolitical area,
then the cabinet of the geopolitical area is a part of the organization the executive branch of the geopolitical area

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