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 12680-12682
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12679-12679	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 773-773	Radiating infrared is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 780-780	Radiating ultraviolet is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 802-802	Radiating visible light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 757-757	Reflecting light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 816-816	Sunlight is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1223-1223
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1672-1672

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 12684-12690	There exists a process such that the process is an instance of radiating light and an object is a patient of the process and the object is an instance of region if and only if illuminated is an attribute of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 807-814	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 23781-23798	If a physical is an instance of knock light and an object is an instance of room and the physical is located at the object and another object is an instance of door and the other object is a part of the object, then the physical purpose there exist an entity, another entity and a third entity such that the third entity is an instance of impacting and the other object is a patient of the third entity and the third entity causes the entity and the entity is an instance of radiating sound and the other object is an agent of the entity and the entity causes the other entity and the other entity is an instance of radiating light and the physical is an agent of the other entity
No TPTP formula. May not be expressible in strict first order.	Media.kif 1196-1206	If an entity is an instance of BluRayDisc 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 1160-1170	If an entity is an instance of CompactDisc 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 1261-1271	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 25213-25239	If an object is an instance of surveillance system and the object is a member of a collection and the object is a member of another collection and the collection is located at another object and the collection is an instance of camera and the other collection is located at a third object and the other object is not equal to the third object and the other collection is an instance of video display, then the object 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 2 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 12869-12881	If translucent is an attribute of an object, then the statement there exists an entity such that the entity is an instance of radiating light and another 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 11684-11691	If a process is an instance of combustion, 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 5110-5112	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 3561-3563	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 12105-12120	If a physical is an instance of media system, then the physical 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 1391-1411	If a physical is an instance of vcr system, then the physical 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 VHSCassette 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 1279-1305	If a physical is an instance of dvd player, then the physical 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 24260-24274	If a physical is an instance of multimedia projector, then the physical 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 24321-24329	If a physical is an instance of video display, then the physical 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 23849-23864	If a physical is an instance of video game player, then the physical 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 video game 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 12083-12089	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 1468-1481	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