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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Neutron
Neutron(neutron)neutron

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1616-1616
No TPTP formula. May not be expressible in strict first order. Merge.kif 1170-1171
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 195-196
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 231-232
No TPTP formula. May not be expressible in strict first order. Merge.kif 1168-1168 Neutron is a subclass of subatomic particle

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 826-826
No TPTP formula. May not be expressible in strict first order. english_format.kif 854-854
No TPTP formula. May not be expressible in strict first order. french_format.kif 502-502
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 35-35
No TPTP formula. May not be expressible in strict first order. terms-it.txt 38-38
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2187-2187
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 454-454
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 69-69
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 523-523
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 39-39

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1149-1156


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