Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  CabinetFn

Sigma KEE - CabinetFn
CabinetFn

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1530-1532
No TPTP formula. May not be expressible in strict first order. Government.kif 1527-1527 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 1526-1526 Cabinet is an instance of unary function
No TPTP formula. May not be expressible in strict first order. Government.kif 1528-1528 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 12577-12577
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12576-12576
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 12575-12575

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Government.kif 1534-1536


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