TreeView Knowledge Base Browser - RadiatingLight

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 13651-13653
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13650-13650	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 596-596	Radiating infrared is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 603-603	Radiating ultraviolet is disjoint from radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 637-637	Flashing light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 619-619	Radiating visible light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 580-580	Reflecting light is a subclass of radiating light
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 633-633	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 1667-1667
No TPTP formula. May not be expressible in strict first order.	french_format.kif 901-901
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 434-434
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 437-437
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2585-2585
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 853-853
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 473-473
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 922-922
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 438-438

antecedent

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13655-13660	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 624-631	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 643-661	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 another time interval and the other time interval meets the time of existence of the third process and there doesn't exist the other time interval such that the other time interval is an instance of radiating light and the other time interval originates at the object and the time of existence of the other time interval 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 1589-1597	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 1192-1202	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 1257-1267	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 26973-26999	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 the object is not equal to 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 15152-15164	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 13662-13668	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 12576-12583	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 5087-5089	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 3018-3020	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 14455-14470	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 1387-1407	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 1275-1301	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 26229-26243	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 26267-26275	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 25888-25903	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 14433-14439	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 1506-1519	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 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