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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Proton
Proton(proton)proton

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1615-1615
No TPTP formula. May not be expressible in strict first order. Merge.kif 1165-1166
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 193-194
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 229-230
No TPTP formula. May not be expressible in strict first order. Merge.kif 1163-1163 Proton 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 825-825
No TPTP formula. May not be expressible in strict first order. english_format.kif 852-852
No TPTP formula. May not be expressible in strict first order. french_format.kif 501-501
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 34-34
No TPTP formula. May not be expressible in strict first order. terms-it.txt 37-37
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2186-2186
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 453-453
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 68-68
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 522-522
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 38-38

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13778-13790
No TPTP formula. May not be expressible in strict first order. Merge.kif 1113-1120
No TPTP formula. May not be expressible in strict first order. Merge.kif 1149-1156
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21688-21703


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