Term Intersection : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass RadiatingElectromagnetic Radiating) Merge.kif 13743-13743
(subclass RadiatingUltraviolet RadiatingElectromagnetic) Mid-level-ontology.kif 602-602
(subclass Magnetism RadiatingElectromagnetic) Mid-level-ontology.kif 15778-15778
(subclass RadioEmission RadiatingElectromagnetic) Mid-level-ontology.kif 15782-15782
(subclass RadiatingLight RadiatingElectromagnetic) Merge.kif 13650-13650
(subclass RadiatingInfrared RadiatingElectromagnetic) Merge.kif 13670-13670
(subclass RadiatingXRay RadiatingElectromagnetic) Merge.kif 13674-13674
(subclass ElectricTransmission RadiatingElectromagnetic) Cars.kif 2383-2383


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