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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - SubatomicParticle
SubatomicParticle

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1609-1610
No TPTP formula. May not be expressible in strict first order. Merge.kif 1135-1136
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 187-188
No TPTP formula. May not be expressible in strict first order. spanish_format.kif 223-224
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2382-2382
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2008-2008
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2381-2381
No TPTP formula. May not be expressible in strict first order. pictureList.kif 1258-1258
No TPTP formula. May not be expressible in strict first order. Merge.kif 1133-1133 子類 SubatomicParticle and ElementalSubstance

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1145-1145 子類 AtomicNucleus and SubatomicParticle
No TPTP formula. May not be expressible in strict first order. Merge.kif 1158-1158 子類 Electron and SubatomicParticle
No TPTP formula. May not be expressible in strict first order. Merge.kif 1168-1168 子類 Neutron and SubatomicParticle
No TPTP formula. May not be expressible in strict first order. Merge.kif 1163-1163 子類 Proton and SubatomicParticle
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 822-822
No TPTP formula. May not be expressible in strict first order. english_format.kif 846-846
No TPTP formula. May not be expressible in strict first order. french_format.kif 498-498
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 31-31
No TPTP formula. May not be expressible in strict first order. terms-it.txt 34-34
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2183-2183
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 450-450
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 65-65
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 519-519
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 35-35

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Merge.kif 1138-1143


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