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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - History
History(history)
historical, history

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21328-21329
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6613-6613
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7074-7074
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7075-7075
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7076-7076
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21327-21327 History is a subclass of field of study

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28263-28263
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28262-28262
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 28261-28261

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


No TPTP formula. May not be expressible in strict first order. Biography.kif 486-488
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 26590-26592


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