Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| RadiatingVisibleLight(radiating visible light) |  | glow, light, scintillation, visible_light, visible_radiation |
| appearance as argument number 1 |
|
|
| (subclass RadiatingVisibleLight RadiatingLight) | Mid-level-ontology.kif 602-602 | Radiating visible light is a subclass of radiating light |
| (disjoint RadiatingVisibleLight RadiatingUltraviolet) | Mid-level-ontology.kif 603-603 | Radiating visible light is disjoint from radiating ultraviolet |
| (documentation RadiatingVisibleLight EnglishLanguage "Any instance of RadiatingLight that can be detected by normal human visual perception.") | Mid-level-ontology.kif 604-605 | Radiating visible light is disjoint from radiating ultraviolet |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| consequent |
|
|
| (=> (and (instance ?R RadiatingLight) (instance ?H Human) (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R)) (instance ?R RadiatingVisibleLight)) |
Mid-level-ontology.kif 607-614 | If X is an instance of radiating light, Y is an instance of human, Z is an instance of seeing, Y is an agent of Z, and X is a patient of Z, then X is an instance of radiating visible light |
| (=> (and (instance ?O OpeningEye) (agent ?O ?H) (instance ?H Human) (not (attribute ?H Blind))) (exists (?S ?R) (and (instance ?S Seeing) (agent ?S ?H) (patient ?S ?R) (instance ?R RadiatingVisibleLight) (during (WhenFn ?S) (WhenFn ?O))))) |
Mid-level-ontology.kif 22112-22127 | If X is an instance of opening eye, Y is an agent of X, Y is an instance of human, and blindness is not an attribute of Y, then there exist Z, W such that Z is an instance of seeing, Y is an agent of Z, W is a patient of Z, W is an instance of radiating visible light, and the time of existence of Z takes place during the time of existence of X |
| (=> (and (instance ?KL KnockLight) (located ?KL ?ROOM) (instance ?ROOM Room) (instance ?DOOR Door) (part ?DOOR ?ROOM)) (hasPurpose ?KL (exists (?KNOCK ?SOUND ?LIGHT) (and (instance ?KNOCK Impacting) (patient ?KNOCK ?DOOR) (causes ?KNOCK ?SOUND) (instance ?SOUND RadiatingSound) (agent ?SOUND ?DOOR) (causes ?SOUND ?LIGHT) (instance ?LIGHT RadiatingVisibleLight) (instrument ?LIGHT ?KL))))) |
Mid-level-ontology.kif 28389-28406 | If X is an instance of knock light, X is located at Y, Y is an instance of room, Z is an instance of door, and Z is a part of Y, then All of the following hold: (1) X has the purpose there exist W, V (2) U such that W is an instance of impacting (3) Z is a patient of W (4) W causes V (5) V is an instance of radiating sound (6) Z is an agent of V (7) V causes U (8) U is an instance of radiating visible light (9) X is an instrument for U |
| (=> (instance ?PLAYER MediaAppliance) (hasPurpose ?PLAYER (or (exists (?VIDEO ?RL) (and (instance ?VIDEO VideoRecording) (instance ?RL RadiatingVisibleLight) (patient ?RL ?VIDEO) (instrument ?RL ?PLAYER))) (exists (?AUDIO ?RS) (and (instance ?AUDIO AudioRecording) (instance ?RS RadiatingSound) (attribute ?RS Audible) (patient ?RS ?AUDIO) (instrument ?RS ?PLAYER)))))) |
HouseholdAppliances.kif 337-353 | If X is an instance of media appliance, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of video recording (3) Z is an instance of radiating visible light (4) Y is a patient of Z (5) X is an instrument for Z or there exist W (6) V such that W is an instance of audio recording (7) V is an instance of radiating sound (8) audible is an attribute of V (9) W is a patient of V (10) X is an instrument for V |
| (=> (instance ?DEVICE ComputerScreen) (hasPurpose ?DEVICE (exists (?RL ?VIDEO ?SIGNAL ?COMPUTER) (and (instance ?RL RadiatingVisibleLight) (instance ?VIDEO VideoRecording) (instance ?SIGNAL Signalling) (instance ?COMPUTER Computer) (instrument ?RL ?DEVICE) (represents ?RL ?VIDEO) (agent ?SIGNAL ?COMPUTER) (patient ?SIGNAL ?DEVICE) (represents ?SIGNAL ?VIDEO))))) |
HouseholdAppliances.kif 525-538 | If X is an instance of computer screen, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W (2) V such that Y is an instance of radiating visible light (3) Z is an instance of video recording (4) W is an instance of signalling (5) V is an instance of computer (6) X is an instrument for Y (7) Y expresses Z (8) V is an agent of W (9) X is a patient of W (10) W expresses Z |
| (=> (instance ?DEVICE LightingAppliance) (hasPurpose ?DEVICE (exists (?RVL) (and (instance ?RVL RadiatingVisibleLight) (agent ?RVL ?DEVICE))))) |
HouseholdAppliances.kif 1024-1030 | If X is an instance of lighting appliance, then X has the purpose there exists Y such that Y is an instance of radiating visible light and X is an agent of Y |
| (=> (instance ?DEVICE LightBulb) (hasPurpose ?DEVICE (exists (?RVL ?RES) (and (instance ?RVL RadiatingVisibleLight) (agent ?RVL ?DEVICE) (instance ?RES Electricity) (resource ?RVL ?RES))))) |
HouseholdAppliances.kif 1039-1047 | If X is an instance of light bulb, then X has the purpose there exist Y, Z such that Y is an instance of radiating visible light, X is an agent of Y, Z is an instance of electricity, and Z is a resource for Y |
| (=> (instance ?DEVICE IncandescentBulb) (hasPurpose ?DEVICE (exists (?HEATING ?METAL) (and (instance ?HEATING Heating) (instance ?METAL Metal) (patient ?HEATING ?METAL) (agent ?HEATING ?DEVICE) (hasPurpose ?HEATING (exists (?RVL) (and (instance ?RVL RadiatingVisibleLight) (instrument ?RVL ?METAL)))))))) |
HouseholdAppliances.kif 1059-1072 | If X is an instance of incandescent bulb, then All of the following hold: (1) X has the purpose there exist Y (2) Z such that Y is an instance of heating (3) Z is an instance of metal (4) Z is a patient of Y (5) X is an agent of Y (6) Y has the purpose there exists W such that W is an instance of radiating visible light (7) Z is an instrument for W |
| (=> (and (instance ?R PupillaryLightReflex) (patient ?R ?P) (instance ?P BothEyePupils)) (exists (?L) (and (instance ?L RadiatingVisibleLight) (patient ?L ?P) (causes ?L ?R)))) |
emotion.kif 774-783 | If X is an instance of photopupillary reflex, Y is a patient of X, and Y is an instance of both eye pupils, then there exists Z such that Z is an instance of radiating visible light, Y is a patient of Z, and Z causes X |
| (=> (instance ?L Laser) (hasPurpose ?L (exists (?R) (and (instance ?R RadiatingVisibleLight) (instrument ?R ?L))))) |
engineering.kif 1128-1134 | If X is an instance of laser, then X has the purpose there exists Y such that Y is an instance of radiating visible light and X is an instrument for Y |
| (=> (instance ?L Laser) (exists (?X ?Y ?O1 ?O2 ?X1 ?Y1) (and (instance ?X RadiatingVisibleLight) (instance ?Y RadiatingVisibleLight) (instrument ?X ?L) (instrument ?Y ?L) (origin ?X ?O1) (origin ?Y ?O2) (equal ?O1 ?O2) (not (equal ?X ?Y)) (wavelength ?X (MeasureFn ?X1 Nanometer)) (wavelength ?Y (MeasureFn ?Y1 Nanometer)) (approximateValue ?X1 ?Y1)))) |
engineering.kif 1147-1162 | If X is an instance of laser, then there exist Y, Z,, , W,, , V,, , U and T such that Y is an instance of radiating visible light and Z is an instance of radiating visible light and X is an instrument for Y and X is an instrument for Z and Y originates at W and Z originates at V and equal W and V and equal Y and Z and the wavelength of Y is U nanometer(s) and the wavelength of Z is T nanometer(s) and the approximate value of U is T |
|