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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - RadiatingXRay
RadiatingXRay(X射线辐射)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3330-3332
No TPTP formula. May not be expressible in strict first order. Merge.kif 13671-13673
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9860-9860
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9858-9858
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9859-9859
No TPTP formula. May not be expressible in strict first order. pictureList.kif 9857-9857
No TPTP formula. May not be expressible in strict first order. Merge.kif 13674-13674 X射线辐射辐射电磁subclass

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 604-604 辐射紫外线 和 % 2 是 disjoint
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63637-63637
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48476-48476
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63636-63636
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48475-48475
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 63635-63635
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48474-48474

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 610-617


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