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

Formal Language: 



KB Term:  Term intersection
English Word: 

  RadiatingUltraviolet

 Sigma KEE - RadiatingUltraviolet
RadiatingUltraviolet(radiating ultraviolet)UV, sun-ray, sunray, ultraviolet, ultraviolet_illumination, ultraviolet_light, ultraviolet_radiation

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 596-596 Radiating ultraviolet is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 597-597 Radiating ultraviolet is disjoint from X ray radiation
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 598-600
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 595-595 Radiating ultraviolet is a subclass of radiating electromagnetic

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 601-601 "UV" is an abbreviation of radiating ultraviolet
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 613-613 Radiating visible light is disjoint from radiating ultraviolet
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48466-48466
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48465-48465
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 48464-48464

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


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


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