(=>
(and
(instance ?HP HearingProtection)
(instance ?PERSON Human)
(wears ?PERSON ?HP))
(hasPurpose ?HP
(exists (?PROC ?INJ ?I)
(and
(instance ?PROC Process)
(subclass ?INJ
(KappaFn ?I
(and
(instance ?I Injuring)
(exists (?SOUND ?HEAR ?HUMAN ?T)
(and
(instance ?SOUND RadiatingSound)
(instance ?HEAR Hearing)
(instance ?HUMAN Human)
(patient ?HEAR ?SOUND)
(experiencer ?HEAR ?HUMAN)
(causes ?HEAR ?I)
(experiencer ?I ?HUMAN)
(=>
(holdsDuring ?T
(experiencer ?I ?PERSON))
(not
(holdsDuring ?T
(patient ?PROC ?PERSON)))))))))
(prevents ?PROC ?INJ)
(instrument ?PROC ?HP))))) |
Cars.kif 3432-3461 |
|
(=>
(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 26085-26102 |
|
(=>
(and
(instance ?X CarAlarm)
(instance ?CAR SelfPoweredRoadVehicle)
(part ?X ?CAR))
(exists (?HARM ?THIEF ?T ?L)
(hasPurpose ?X
(=>
(and
(or
(instance ?HARM Stealing)
(instance ?HARM Damaging))
(instance ?THIEF Human)
(agent ?HARM ?THIEF)
(patient ?HARM ?CAR)
(equal
(WhenFn ?HARM) ?T)
(eventPartlyLocated ?HARM ?L))
(exists (?ALARM)
(and
(instance ?ALARM RadiatingSound)
(agent ?ALARM ?X)
(causes ?HARM ?ALARM)
(hasPurpose ?ALARM
(increasesLikelihood
(exists (?WITNESS)
(and
(instance ?WITNESS Human)
(holdsDuring ?T
(orientation ?WITNESS ?L Near))))
(or
(knows ?WITNESS
(exists (?H)
(and
(or
(instance ?H Stealing)
(instance ?H Damaging))
(eventPartlyLocated ?H ?L)
(holdsDuring ?T
(patient ?H ?CAR)))))
(finishes
(WhenFn ?ALARM)
(WhenFn ?HARM))))))))))) |
Cars.kif 3695-3736 |
|
(=>
(and
(instance ?X FireAlarm)
(attribute ?X DeviceOn)
(located ?X ?LOC))
(exists (?RS)
(and
(instance ?RS RadiatingSound)
(instrument ?RS ?X)
(hasPurpose ?RS
(exists (?GRP)
(and
(instance ?GRP GroupOfPeople)
(located ?GRP ?LOC)
(knows ?GRP
(exists (?FIRE)
(and
(instance ?FIRE Fire)
(eventLocated ?FIRE ?LOC)))))))))) |
Mid-level-ontology.kif 26721-26739 |
|
(=>
(instance ?AC AlarmClock)
(hasPurpose ?AC
(exists (?TIME ?M ?Q)
(and
(instance ?M Measuring)
(agent ?M ?AC)
(result ?M ?Q)
(equal ?Q ?TIME)
(holdsDuring
(WhenFn ?M)
(exists (?S)
(and
(instance ?S RadiatingSound)
(agent ?S ?AC)))))))) |
Mid-level-ontology.kif 25818-25832 |
|
(=>
(instance ?PLAYER AudioCDSystem)
(hasPurpose ?PLAYER
(exists (?DISC ?AUDIO ?RS ?DIGITAL ?PROC)
(and
(instrument ?PROC ?PLAYER)
(patient ?PROC ?DISC)
(instance ?DISC CompactDisc)
(instance ?AUDIO AudioRecording)
(represents ?DIGITAL ?AUDIO)
(part ?DIGITAL ?DISC)
(instance ?RS RadiatingSound)
(subProcess ?RS ?PROC)
(instrument ?RS ?PLAYER)
(patient ?RS ?DISC))))) |
Media.kif 1209-1223 |
|
(=>
(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 14673-14688 |
|
(=>
(instance ?RECORD AudioRecording)
(exists (?INFO ?SOUND)
(and
(containsInformation ?RECORD ?INFO)
(realization ?SOUND ?INFO)
(instance ?SOUND RadiatingSound)))) |
Mid-level-ontology.kif 14532-14538 |
|
(=>
(instance ?SONAR Sonar)
(capability RadiatingSound agent ?SONAR)) |
Mid-level-ontology.kif 2619-2621 |
|
(=>
(instance ?SPEAKER SpeakerDevice)
(capability RadiatingSound instrument ?SPEAKER)) |
ComputerInput.kif 480-482 |
|
(=>
(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 AudioRecorder)
(hasPurpose ?X
(exists (?RS ?RECORD ?PROC)
(and
(instance ?RS RadiatingSound)
(instance ?PROC IntentionalProcess)
(instrument ?PROC ?X)
(patient ?PROC ?RS)
(result ?PROC ?RECORD)
(instance ?RECORD AudioRecording))))) |
Mid-level-ontology.kif 26514-26524 |
|
(=>
(instance ?X AudioRecording)
(exists (?EV)
(and
(instance ?EV RadiatingSound)
(represents ?X ?EV)
(capability RadiatingSound patient ?X)))) |
Mid-level-ontology.kif 14524-14530 |
|
(=>
(instance ?X BabyMonitoringSystem)
(exists (?TX ?RX)
(and
(instance ?RX RadioReceiver)
(instance ?TX Device)
(engineeringSubcomponent ?RX ?X)
(engineeringSubcomponent ?TX ?X)
(hasPurpose ?X
(exists (?BABY ?CARER ?SOUND ?LOC1 ?LOC2 ?PROC ?RADIO)
(and
(instance ?BABY HumanBaby)
(instance ?CARER Human)
(located ?BABY ?LOC1)
(located ?CARER ?LOC2)
(not
(equal ?LOC1 ?LOC2))
(instance ?PROC Maintaining)
(patient ?PROC ?BABY)
(agent ?PROC ?CARER)
(located ?TX ?LOC1)
(located ?RX ?LOC2)
(instance ?SOUND RadiatingSound)
(eventLocated ?SOUND ?LOC1)
(instance ?RADIO RadioEmission)
(patient ?RADIO ?SOUND)
(destination ?RADIO ?RX)
(agent ?RADIO ?TX))))))) |
Communications.kif 258-284 |
- If an engineering component is an instance of baby monitor,
- then there exist another engineering component and a third engineering component such that the third engineering component is an instance of radio receiver and the other engineering component is an instance of device and the third engineering component is a component of the engineering component and the other engineering component is a component of the engineering component and the engineering component has the purpose there exist an entity, another entity,, , a third entity,, , a fourth entity,, , a fifth entity,, , a sixth entity and a seventh entity such that the entity is an instance of human baby and the other entity is an instance of human and the entity is located at the fourth entity and the other entity is located at the fifth entity and the fourth entity is not equal to the fifth entity and the sixth entity is an instance of maintaining and the entity is a patient of the sixth entity and the other entity is an agent of the sixth entity and the other engineering component is located at the fourth entity and the third engineering component is located at the fifth entity and the third entity is an instance of radiating sound and the third entity is located at the fourth entity and the seventh entity is an instance of radio emission and the third entity is a patient of the seventh entity and the seventh entity ends up at the third engineering component and the other engineering component is an agent of the seventh 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 Earphone)
(hasPurpose ?X
(exists (?ES ?RS ?SIGNAL ?EAR ?PROC)
(and
(instance ?ES ElectricalSignalling)
(patient ?ES ?SIGNAL)
(destination ?ES ?X)
(instance ?PROC Process)
(instrument ?PROC ?X)
(patient ?PROC ?SIGNAL)
(result ?PROC ?RS)
(instance ?RS RadiatingSound)
(origin ?RS ?X)
(before
(BeginFn
(WhenFn ?ES))
(BeginFn
(WhenFn ?PROC)))
(before
(BeginFn
(WhenFn ?PROC))
(BeginFn
(WhenFn ?RS)))
(instance ?EAR Ear)
(orientation ?X ?EAR Adjacent))))) |
Mid-level-ontology.kif 26317-26338 |
|
(=>
(instance ?X PublicAddressSystem)
(hasPurpose ?X
(exists (?RS ?AREA ?GRP)
(and
(instance ?AREA LandArea)
(located ?X ?AREA)
(instance ?GRP GroupOfPeople)
(located ?GRP ?AREA)
(instance ?RS RadiatingSound)
(instrument ?RS ?X)
(forall (?PERSON)
(=>
(member ?PERSON ?GRP)
(exists (?HEAR)
(and
(instance ?HEAR Hearing)
(patient ?HEAR ?RS)
(agent ?HEAR ?PERSON))))))))) |
Mid-level-ontology.kif 26368-26386 |
|
(=>
(instance ?X SpeakerDevice)
(hasPurpose ?X
(exists (?RS)
(and
(instance ?RS RadiatingSound)
(instrument ?RS ?X)
(attribute ?RS Audible))))) |
Mid-level-ontology.kif 26303-26310 |
|
