RadiatingLight - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - RadiatingLight

RadiatingLight(radiating light)

Bengal_light, Moon, Tyndall_effect, aberration, ablaze, aflicker, afterglow, agleam, aglitter, aglow, aphotic, ardent, autofluorescence, beam, beam_of_light, beaming, beamy, bioluminescence, bioluminescent, birefringent, black, blaze, blazing, blinding, blink, blue_jet, bright, bright_as_a_new_penny, brightly, brightness, brightness_level, brilliant, brilliantly, candent, candescent, candle_flame, candlelight, chemiluminescence, clinquant, corona, coruscant, coruscate, coruscation, counterglow, crepuscular, dark, darkened, darkening, darkling, darkly...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3328-3329
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13805-13807
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13804-13804	Radiating light 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 589-589	Radiating infrared is disjoint from radiating light
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 630-630	Flashing light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 612-612	Radiating visible light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 573-573	Reflecting light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 626-626	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1223-1223	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1667-1667	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	french_format.kif 901-901	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 434-434	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 437-437	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2585-2585	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 853-853	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 473-473	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 732-732	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 922-922	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 438-438	Sunlight is a subclass of radiating light

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13814	If a process is an instance of radiating light and an object is a patient of the process and the object is an instance of region, then illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 617-624	If an entity is an instance of radiating light and an agent is an instance of human and a process is an instance of seeing and the agent is an agent of the process and the entity is a patient of the process, then the entity is an instance of radiating visible light

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 636-654	If a process is an instance of flashing light and the process originates at an object, then there exist another process, a time interval and a third process such that the other process is an instance of radiating light and the time interval is an instance of time interval and the third process is an instance of radiating light and the time of existence of the other process meets the time interval and the time interval meets the time of existence of the third process and there doesn't exist a fourth process such that the fourth process is an instance of radiating light and the fourth process originates at the object and the time of existence of the fourth process takes place during the time interval and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1582-1590	If a process is an instance of measuring and an object is an instrument for the process and the object is an instance of Reverse transcription polymerase chain reaction, then there exists another process such that the other process is an instance of radiating light and the other process originates at the object
No TPTP formula. May not be expressible in strict first order.	Media.kif 1194-1204	If an entity is an instance of blu ray disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 405 nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1156-1166	If an entity is an instance of compact disc and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 780 nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Media.kif 1259-1269	If an entity is an instance of DVD and a process is an instance of decoding and the entity is a patient of the process, then there exists an object such that the object is an instance of radiating light and the object is an instrument for the process and the wavelength of the object is 650 nanometer(s)
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28872-28898	If a physical is an instance of surveillance system and the physical is a member of a collection and the physical is a member of another collection and the collection is located at an object and the collection is an instance of camera and the other collection is located at another object and equal the object and the other object and the other collection is an instance of video display, then the physical has the purpose there exist an entity, another entity,, , a third entity and a fourth entity such that the entity is an instance of process and the entity is located at the object and the other entity expresses the entity and camera is an instrument for the fourth entity and the other entity is a result of the fourth entity and the third entity is an instance of radiating light and the other collection is an instrument for the third entity and the other entity is a patient of the third entity and the beginning of the entity happens before the beginning of the fourth entity and the beginning of the fourth entity happens before the beginning of the third entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16525-16537	If translucent is an attribute of an object, then the statement there exist an entity, another entity and the objectBJ such that the entity is an instance of radiating light and the other entity is a resource for the entity and the entity ends up at the objectBJ and the object is between the other entity and the objectBJ and illuminated is an attribute of the objectBJ holds during the time of existence of the entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13816-13822	If illuminated is an attribute of an object, then there exists a process such that the process is an instance of radiating light and the object is a patient of the process and the object is an instance of region
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12730-12737	If a process is an instance of burning, then there exist another process and a third process such that the other process is an instance of heating and the third process is an instance of radiating light and the other process is a subprocess of the process and the third process is a subprocess of the process
No TPTP formula. May not be expressible in strict first order.	Cars.kif 5148-5150	If an object is an instance of light bulb, then the object is capable of doing radiating light as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3481-3483	If an object is an instance of light fixture, then the object is capable of doing radiating light as a instrument
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15826-15841	If a physical is an instance of media system, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of video recording and the other entity is an instance of radiating light and the entity is a patient of the other entity and the physical is an instrument for the other entity or there exist a third entity and a fourth entity such that the third entity is an instance of audio recording and the fourth entity is an instance of radiating sound and the third entity is a patient of the fourth entity and the physical is an instrument for the fourth entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1389-1409	If a physical is an instance of vcr system, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity,, , a seventh entity and a eighth entity such that the entity is an instance of VHS cassette and the physical is an instrument for the other entity and the entity is a patient of the other entity and the third entity is an instance of video recording and the fourth entity expresses the third entity and the third entity is a part of the entity and the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the fourth entity and the sixth entity is a part of the entity and the fifth entity is an instance of radiating light and the third entity is a patient of the fifth entity and the fifth entity is a subprocess of the other entity and the eighth entity is an instance of radiating sound and the sixth entity is a patient of the eighth entity and the eighth entity is a subprocess of the other entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1277-1303	If a physical is an instance of dvd player, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of DVD and the physical is an instrument for the other entity and the entity is a patient of the other entity and there exist a third entity, a fourth entity and a fifth entity such that the third entity is an instance of video recording and the fourth entity expresses the third entity and the fourth entity is a part of the entity and the fifth entity is an instance of radiating light and the fifth entity is a subprocess of the other entity and the physical is an instrument for the fifth entity and the third entity is a patient of the fifth entity or there exist a sixth entity, a seventh entity and a eighth entity such that the sixth entity is an instance of audio recording and the seventh entity expresses the sixth entity and the seventh entity is a part of the entity and the eighth entity is an instance of radiating sound and the eighth entity is a subprocess of the other entity and the physical is an instrument for the eighth entity and the sixth entity is a patient of the eighth entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28128-28142	If a physical is an instance of multimedia projector, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of radiating light and the physical is an instrument for the entity and the third entity is a patient of the entity and the third entity is an instance of video recording or the third entity is an instance of image and the entity ends up at the other entity and the other entity is an instance of artifact and flat is an attribute of the other entity and the physical is not connected to the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28166-28174	If a physical is an instance of video display, then the physical has the purpose there exist an entity and another entity such that the entity is an instance of radiating light and the other entity is an instance of video recording and the other entity is a patient of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 27786-27801	If a physical is an instance of video game player, then the physical has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity and a fifth entity such that the entity is an instance of videogame and the physical is an instrument for the entity and the fifth entity is an agent of the entity and the third entity is an instance of maneuver and the fourth entity is an instrument for the third entity and the fifth entity is an agent of the third entity and the third entity is a subprocess of the entity and the fourth entity is a part of the physical and the other entity is an instance of radiating light and the physical is an agent of the other entity and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15804-15810	If an object is an instance of video recording, then there exists an entity such that the entity is an instance of process and the object expresses the entity and the object is capable of doing radiating light as a patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1517-1530	If motion picture is an amenity in a kind of hotel unit, then there exist an object, a physical and an entity such that the object is an instance of a kind of hotel unit and the physical is an instance of media system and the physical is located at the object and the entity is an instance of motion picture and the statement there exists the objectL such that the objectL is an instance of radiating light and the physical is an instrument for the objectL and the entity is a patient of the objectL has the modal force of possibility

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