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

Formal Language: 



KB Term:  Term intersection
English Word: 

  SubatomicParticle

 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 次原子粒子 是 元素物质 的 subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 1145-1145 原子核 是 次原子粒子 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1158-1158 电子 是 次原子粒子 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1168-1168 中子 是 次原子粒子 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 1163-1163 质子 是 次原子粒子 的 subclass
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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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