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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - True
True

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3796-3796
No TPTP formula. May not be expressible in strict first order. Merge.kif 17053-17053
No TPTP formula. May not be expressible in strict first order. Merge.kif 17052-17052 True est une instance de vrai

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 17056-17056 False est l'oppos� de True
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59326-59326
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59325-59325
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 59324-59324

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 1837-1841
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 540-547
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17924-17929
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13004-13009
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 577-584
No TPTP formula. May not be expressible in strict first order. Law.kif 65-78
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14273-14275
No TPTP formula. May not be expressible in strict first order. Merge.kif 2839-2841
No TPTP formula. May not be expressible in strict first order. Merge.kif 17600-17606
No TPTP formula. May not be expressible in strict first order. Merge.kif 17612-17618


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