(=>
(and
(instance ?LIST MeasuringList)
(inList ?M ?LIST))
(instance ?M Measuring)) |
Weather.kif 1698-1702 |
|
(=>
(and
(instance ?O Odometer)
(instance ?V Vehicle)
(part ?O ?V)
(instance ?T Translocation)
(instrument ?T ?V)
(path ?T ?P)
(distanceOnPath
(MeasureFn ?D ?U) ?P)
(instance ?U LengthMeasure))
(hasPurpose ?O
(exists (?M ?L ?DIST ?U)
(and
(instance ?M Measuring)
(instrument ?M ?O)
(measurementReading ?O ?DIST)
(inList ?D ?L)
(holdsDuring
(WhenFn
(EndFn ?M))
(and
(equal ?DIST
(MeasureFn
(ListSumFn ?L) ?U))
(not
(attribute ?O ResetMeasuringDevice)))))))) |
Cars.kif 2970-2996 |
|
(=>
(and
(locationMeasuringList ?LIST ?PLACE)
(inList ?M ?LIST))
(and
(instance ?M Measuring)
(eventLocated ?M ?PLACE))) |
Weather.kif 1751-1757 |
|
(=>
(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 27199-27213 |
|
(=>
(instance ?DEVICE MeasuringDevice)
(hasPurpose ?DEVICE
(exists (?MEASURE)
(and
(instance ?MEASURE Measuring)
(instrument ?MEASURE ?DEVICE))))) |
Merge.kif 16131-16137 |
|
(=>
(instance ?FG FeelerGauge)
(hasPurpose ?FG
(exists (?TP ?M)
(and
(instance ?M Measuring)
(instance ?TP TactilePerception)
(subProcess ?TP ?M)
(instrument ?M ?FG))))) |
Cars.kif 2780-2788 |
|
(=>
(instance ?H Hydrometer)
(hasPurpose ?H
(exists (?M ?S)
(and
(instance ?M Measuring)
(instance ?S Substance)
(attribute ?S Liquid)
(patient ?M ?S)
(instrument ?M ?H))))) |
Cars.kif 3110-3119 |
|
(=>
(instance ?MAS MassAirflowSensor)
(hasPurpose ?MAS
(exists (?T ?M ?A)
(and
(instance ?T Transfer)
(instance ?A Air)
(patient ?T ?A)
(instance ?M Measuring)
(patient ?M ?A)
(instrument ?M ?MAS))))) |
Cars.kif 3364-3374 |
|
(=>
(instance ?OS OxygenSensor)
(hasPurpose ?OS
(exists (?O ?M)
(and
(instance ?O Oxygen)
(instance ?M Measuring)
(patient ?M ?O)
(instrument ?M ?OS))))) |
Cars.kif 3401-3409 |
|
(=>
(instance ?PO PulseOximeter)
(hasPurpose ?PO
(exists (?M ?A ?P)
(and
(instance ?M Measuring)
(instrument ?M ?PO)
(agent ?M ?A)
(patient ?M ?P)
(instance ?PO PulseOximeter))))) |
Medicine.kif 1259-1268 |
|
(=>
(instance ?R RTPCRTest)
(hasPurpose ?R
(exists (?M ?A ?T ?MEAS)
(and
(instance ?M Measuring)
(patient ?M ?RNA)
(instance ?RNA RNAMolecule)
(holdsDuring ?T
(measure ?RNA ?MEAS))
(knows ?A
(holdsDuring ?T
(measure ?RNA ?MEAS))))))) |
Medicine.kif 1563-1575 |
|
(=>
(instance ?S Speedometer)
(hasPurpose ?S
(exists (?V ?T ?SPEED ?DIST ?TIME ?M)
(and
(instance ?V Vehicle)
(part ?S ?V)
(instance ?T Translocation)
(instrument ?T ?V)
(measure ?T ?SPEED)
(equal ?SPEED
(SpeedFn ?DIST ?TIME))
(instance ?M Measuring)
(instrument ?M ?S)
(measurementReading ?M ?SPEED))))) |
Cars.kif 3018-3032 |
- If a physical is an instance of speedometer,
- then the physical has the purpose there exist an entity, another entity,, , the physicalPEED,, , a fourth entity,, , the other entityIME and a sixth entity such that the entity is an instance of vehicle and the physical is a part of the entity and the other entity is an instance of translocation and the entity is an instrument for the other entity and the measure of the other entity is the physicalPEED and the physicalPEED is equal to the fourth entity per the other entityIME and the sixth entity is an instance of measuring and the physical is an instrument for the sixth entity and the physicalPEED is a measurement reading of the sixth entity
|
(=>
(instance ?T Tachometer)
(hasPurpose ?T
(exists (?R ?M ?O)
(and
(instance ?R Rotating)
(patient ?R ?O)
(instance ?M Measuring)
(instrument ?M ?T)
(patient ?M ?O))))) |
Cars.kif 4080-4089 |
|
(=>
(instance ?T Telemetry)
(exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING)
(and
(instance ?MEASURING Measuring)
(instance ?MEASURINGDEVICE MeasuringDevice)
(instance ?REMOTELOCATION Region)
(instance ?RECEIVINGLOCATION Region)
(instance ?MESSAGING Messaging)
(subProcess ?MESSAGING ?T)
(subProcess ?MEASURING ?T)
(instance ?RECEIVINGSTATION ElectronicDataStorageDevice)
(agent ?MEASURING ?MEASURINGDEVICE)
(located ?MEASURINGDEVICE ?REMOTELOCATION)
(located ?RECEIVINGSTATION ?RECEIVINGLOCATION)
(eventLocated ?MEASURING ?REMOTELOCATION)
(not
(equal ?RECEIVINGLOCATION ?REMOTELOCATION))
(origin ?MESSAGING ?MEASURINGDEVICE)
(destination ?MESSAGING ?RECEIVINGSTATION)))) |
Communications.kif 316-334 |
- If a process is an instance of telemetry,
- then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of measuring device and the object is an instance of region and the other object is an instance of region and the third process is an instance of messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of electronic data storage device and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and the other process is located at the object and the other object is not equal to the object and the third process originates at the agent and the third process ends up at the physical
|