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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Magnetism

Sigma KEE - Magnetism
Magnetism(magnetism)magnetic, magnetic_attraction, magnetic_force, magnetism, paramagnetic

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15279-15280
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15278-15278 Magnetism is a subclass of radiating electromagnetic

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35616-35616
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35615-35615
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 35614-35614

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 3896-3906
No TPTP formula. May not be expressible in strict first order. Cars.kif 3908-3924
No TPTP formula. May not be expressible in strict first order. Cars.kif 3876-3881


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