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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingElectromagnetic

Sigma KEE - RadiatingElectromagnetic
RadiatingElectromagnetic(radiating electromagnetic)CBR, CMB, CMBR, cosmic_background_radiation, cosmic_microwave_background, cosmic_microwave_background_radiation, cosmic_ray, electrical, induce, induct, line

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1415-1416
No TPTP formula. May not be expressible in strict first order. Merge.kif 13497-13499
No TPTP formula. May not be expressible in strict first order. Merge.kif 13496-13496 Radiating electromagnetic is a subclass of radiating

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


No TPTP formula. May not be expressible in strict first order. Cars.kif 2383-2383 Electric transmission is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15203-15203 Magnetism is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order. Merge.kif 13424-13424 Radiating infrared is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order. Merge.kif 13404-13404 Radiating light is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 591-591 Radiating ultraviolet is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order. Merge.kif 13428-13428 X ray radiation is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15207-15207 Radio emission is a subclass of radiating electromagnetic
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48423-48423
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48422-48422
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48421-48421

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


No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1538-1545
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1547-1556

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 24764-24771
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 25314-25327
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2521-2526
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 2549-2551
No TPTP formula. May not be expressible in strict first order. ComputingBrands.kif 1508-1513


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