(=>
(and
(instance ?FL FlashingLight)
(origin ?FL ?L))
(exists (?I1 ?T2 ?I3)
(and
(instance ?I1 RadiatingLight)
(instance ?T2 TimeInterval)
(instance ?I3 RadiatingLight)
(meetsTemporally
(WhenFn ?I1) ?I2)
(meetsTemporally ?I2
(WhenFn ?I3))
(not
(exists (?I2)
(and
(instance ?I2 RadiatingLight)
(origin ?I2 ?L)
(during
(WhenFn ?I2) ?T2))))
(subProcess ?I1 ?FL)
(subProcess ?I3 ?FL)))) |
Mid-level-ontology.kif 636-654 |
|
(=>
(and
(instance ?M Measuring)
(instrument ?M ?R)
(instance ?R RTPCRTest))
(exists (?E)
(and
(instance ?E RadiatingLight)
(origin ?E ?R)))) |
Medicine.kif 1589-1597 |
|
(=>
(and
(instance ?X BluRayDisc)
(instance ?READ Decoding)
(patient ?READ ?X))
(exists (?LASER)
(and
(instance ?LASER RadiatingLight)
(instrument ?READ ?LASER)
(wavelength ?LASER
(MeasureFn 405 Nanometer))))) |
Media.kif 1192-1202 |
|
(=>
(and
(instance ?X CompactDisc)
(instance ?READ Decoding)
(patient ?READ ?X))
(exists (?LASER)
(and
(instance ?LASER RadiatingLight)
(instrument ?READ ?LASER)
(wavelength ?LASER
(MeasureFn 780 Nanometer))))) |
Media.kif 1156-1166 |
|
(=>
(and
(instance ?X DVD)
(instance ?READ Decoding)
(patient ?READ ?X))
(exists (?LASER)
(and
(instance ?LASER RadiatingLight)
(instrument ?READ ?LASER)
(wavelength ?LASER
(MeasureFn 650 Nanometer))))) |
Media.kif 1257-1267 |
|
(=>
(and
(instance ?X SurveillanceSystem)
(member ?X ?VIDEO)
(member ?X ?DISPLAY)
(located ?VIDEO ?LOC1)
(instance ?VIDEO Camera)
(located ?DISPLAY ?LOC2)
(not
(equal ?LOC1 ?LOC2))
(instance ?DISPLAY VideoDisplay))
(hasPurpose ?X
(exists (?PROC ?VID ?RL ?CAPTURE)
(and
(instance ?PROC Process)
(eventLocated ?PROC ?LOC1)
(represents ?VID ?PROC)
(instrument ?CAPTURE Camera)
(result ?CAPTURE ?VID)
(instance ?RL RadiatingLight)
(instrument ?RL ?DISPLAY)
(patient ?RL ?VID)
(before
(BeginFn ?PROC)
(BeginFn ?CAPTURE))
(before
(BeginFn ?CAPTURE)
(BeginFn ?RL)))))) |
Mid-level-ontology.kif 27006-27032 |
|
(=>
(attribute ?O Translucent)
(modalAttribute
(exists (?EMIT ?S ?OBJ)
(and
(instance ?EMIT RadiatingLight)
(resource ?EMIT ?S)
(destination ?EMIT ?OBJ)
(between ?S ?O ?OBJ)
(holdsDuring
(WhenFn ?EMIT)
(attribute ?OBJ Illuminated)))) Possibility)) |
Mid-level-ontology.kif 15179-15191 |
|
(=>
(attribute ?REGION Illuminated)
(exists (?EMIT)
(and
(instance ?EMIT RadiatingLight)
(patient ?EMIT ?REGION)
(instance ?REGION Region)))) |
Merge.kif 13708-13714 |
|
(=>
(instance ?COMBUSTION Combustion)
(exists (?HEAT ?LIGHT)
(and
(instance ?HEAT Heating)
(instance ?LIGHT RadiatingLight)
(subProcess ?HEAT ?COMBUSTION)
(subProcess ?LIGHT ?COMBUSTION)))) |
Merge.kif 12622-12629 |
|
(=>
(instance ?F LightBulb)
(capability RadiatingLight instrument ?F)) |
Cars.kif 5072-5074 |
|
(=>
(instance ?F LightFixture)
(capability RadiatingLight instrument ?F)) |
Mid-level-ontology.kif 3011-3013 |
|
(=>
(instance ?PLAYER MediaSystem)
(hasPurpose ?PLAYER
(or
(exists (?VIDEO ?RL)
(and
(instance ?VIDEO VideoRecording)
(instance ?RL RadiatingLight)
(patient ?RL ?VIDEO)
(instrument ?RL ?PLAYER)))
(exists (?AUDIO ?RS)
(and
(instance ?AUDIO AudioRecording)
(instance ?RS RadiatingSound)
(patient ?RS ?AUDIO)
(instrument ?RS ?PLAYER)))))) |
Mid-level-ontology.kif 14482-14497 |
|
(=>
(instance ?VCR VCRSystem)
(hasPurpose ?VCR
(exists (?VHS ?PROC ?VIDEO ?AVIDEO ?RL ?AUDIO ?AAUDIO ?RS)
(and
(instance ?VHS VHSCassette)
(instrument ?PROC ?VCR)
(patient ?PROC ?VHS)
(instance ?VIDEO VideoRecording)
(represents ?AVIDEO ?VIDEO)
(part ?VIDEO ?VHS)
(instance ?AUDIO AudioRecording)
(represents ?AAUDIO ?AUDIO)
(part ?AAUDIO ?AVIDEO)
(part ?AUDIO ?VHS)
(instance ?RL RadiatingLight)
(patient ?RL ?VIDEO)
(subProcess ?RL ?PROC)
(instance ?RS RadiatingSound)
(patient ?RS ?AUDIO)
(subProcess ?RS ?PROC))))) |
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
|
(=>
(instance ?X DVDSystem)
(hasPurpose ?X
(exists (?DVD ?PROC)
(and
(instance ?DVD DVD)
(instrument ?PROC ?X)
(patient ?PROC ?DVD)
(or
(exists (?VIDEO ?DVIDEO ?RL)
(and
(instance ?VIDEO VideoRecording)
(represents ?DVIDEO ?VIDEO)
(part ?DVIDEO ?DVD)
(instance ?RL RadiatingLight)
(subProcess ?RL ?PROC)
(instrument ?RL ?X)
(patient ?RL ?VIDEO)))
(exists (?AUDIO ?DAUDIO ?RS)
(and
(instance ?AUDIO AudioRecording)
(represents ?DAUDIO ?AUDIO)
(part ?DAUDIO ?DVD)
(instance ?RS RadiatingSound)
(subProcess ?RS ?PROC)
(instrument ?RS ?X)
(patient ?RS ?AUDIO)))))))) |
Media.kif 1275-1301 |
|
(=>
(instance ?X MultimediaProjector)
(hasPurpose ?X
(exists (?RS ?SCREEN ?VIDEO)
(and
(instance ?RS RadiatingLight)
(instrument ?RS ?X)
(patient ?RS ?VIDEO)
(or
(instance ?VIDEO VideoRecording)
(instance ?VIDEO Image))
(destination ?RS ?SCREEN)
(instance ?SCREEN Artifact)
(attribute ?SCREEN Flat)
(not
(connected ?X ?SCREEN)))))) |
Mid-level-ontology.kif 26262-26276 |
|
(=>
(instance ?X VideoDisplay)
(hasPurpose ?X
(exists (?RL ?VIDEO)
(and
(instance ?RL RadiatingLight)
(instance ?VIDEO VideoRecording)
(patient ?RL ?VIDEO)
(instrument ?RL ?X))))) |
Mid-level-ontology.kif 26300-26308 |
|
(=>
(instance ?X VideoGamePlayer)
(hasPurpose ?X
(exists (?GAME ?RL ?MOVE ?CONTROLLER ?PLAYER)
(and
(instance ?GAME VideoGame)
(instrument ?GAME ?X)
(agent ?GAME ?PLAYER)
(instance ?MOVE Maneuver)
(instrument ?MOVE ?CONTROLLER)
(agent ?MOVE ?PLAYER)
(subProcess ?MOVE ?GAME)
(part ?CONTROLLER ?X)
(instance ?RL RadiatingLight)
(agent ?RL ?X)
(patient ?RL ?GAME))))) |
Mid-level-ontology.kif 25921-25936 |
|
(=>
(instance ?X VideoRecording)
(exists (?EV)
(and
(instance ?EV Process)
(represents ?X ?EV)
(capability RadiatingLight patient ?X)))) |
Mid-level-ontology.kif 14460-14466 |
|
(=>
(roomAmenity ?ROOM MotionPicture)
(exists (?R ?MS ?MP)
(and
(instance ?R ?ROOM)
(instance ?MS MediaSystem)
(located ?MS ?R)
(instance ?MP MotionPicture)
(modalAttribute
(exists (?RL)
(and
(instance ?RL RadiatingLight)
(instrument ?RL ?MS)
(patient ?RL ?MP))) Possibility)))) |
Hotel.kif 1506-1519 |
|