(=>
(and
(instance ?A AntibodyCOVIDTest)
(instrument ?M ?A)
(instance ?M Measuring)
(patient ?M ?H)
(instance ?CA COVIDAntibody)
(part ?CA ?H))
(modalAttribute
(knows ?H
(exists (?CA)
(and
(instance ?CA COVIDAntibody)
(part ?CA ?H)))) Likely)) |
Medicine.kif 2763-2777 |
|
(=>
(and
(instance ?M Measuring)
(instrument ?M ?PO)
(agent ?M ?A)
(patient ?M ?P)
(instance ?PO PulseOximeter))
(exists (?N)
(knows ?A
(oxygenSaturation ?P ?N)))) |
Medicine.kif 1260-1269 |
|
(=>
(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 ?M Measuring)
(result ?M ?Q)
(instrument ?M ?C)
(instance ?C Clock))
(instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 2879-2885 |
|
(=>
(and
(instance ?M Measuring)
(result ?M ?Q)
(instrument ?M ?T)
(instance ?T Thermometer))
(instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 2915-2921 |
|
(=>
(and
(instance ?MEAS Measuring)
(agent ?MEAS ?AGENT)
(patient ?MEAS ?OBJ))
(exists (?QUANT ?UNIT)
(holdsDuring
(EndFn
(WhenFn ?MEAS))
(knows ?AGENT
(measure ?OBJ
(MeasureFn ?QUANT ?UNIT)))))) |
Merge.kif 12168-12175 |
|
(=>
(and
(instance ?MEASURE Measuring)
(patient ?MEASURE ?OBJ)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?ABSOLUTEMETER)
(instance ?ABSOLUTEMETER AbsoluteAltimeter))
(exists (?OBJ2)
(and
(altitude ?OBJ ?OBJ2 ?QUANTITY)
(surface ?OBJ2 PlanetEarth)))) |
MilitaryDevices.kif 1441-1451 |
|
(=>
(and
(instance ?MEASURE Measuring)
(patient ?MEASURE ?OBJ)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?BAROMETER)
(instance ?BAROMETER BarometricAltimeter))
(altitude ?OBJ SeaLevel ?QUANTITY)) |
MilitaryDevices.kif 1477-1484 |
|
(=>
(and
(instance ?MEASURE Measuring)
(patient ?MEASURE ?OBJ)
(surface ?OBJ PlanetEarth)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?BAROMETER)
(instance ?BAROMETER BarometricAltimeter))
(elevation ?OBJ ?QUANTITY)) |
MilitaryDevices.kif 1488-1496 |
|
(=>
(and
(instance ?MEASURE Measuring)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?ALTIMETER)
(instance ?ALTIMETER Altimeter))
(instance ?QUANTITY AltitudeMeasure)) |
MilitaryDevices.kif 1426-1432 |
|
(=>
(and
(instance ?MEASURE Measuring)
(result ?MEASURE ?QUANTITY)
(instrument ?MEASURE ?THERMOMETER)
(instance ?THERMOMETER Thermometer))
(instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 2903-2909 |
|