| Measuring | |
| appearance as argument number 1 |
|
|
| (documentation Measuring ChineseLanguage "这是 Calculating Process 的 Class，它的目的是 决定 patient 在某些方面的 PhysicalQuantity。") | chinese_format.kif 3133-3134 | |
| (documentation Measuring EnglishLanguage "The Class of Calculating Processes where the aim is to determine the PhysicalQuantity of some aspect of the patient.") | Merge.kif 12254-12255 | |
| (subclass Measuring Calculating) | Merge.kif 12253-12253 |
| appearance as argument number 2 |
|
|
| (rangeSubclass MeasuringProcessFn Measuring) | Medicine.kif 6339-6339 | |
| (subclass SurfaceWindSpeedMeasuring Measuring) | Weather.kif 1712-1712 | |
| (subclass Telemetry Measuring) | Communications.kif 314-314 | |
| (termFormat ChineseLanguage Measuring "测量") | chinese_format.kif 1150-1150 | |
| (termFormat EnglishLanguage Measuring "measuring") | english_format.kif 1517-1517 | |
| (termFormat FrenchLanguage Measuring "mesurer") | french_format.kif 828-828 | |
| (termFormat Hindi Measuring "maapana") | terms-hindi.txt 360-360 | |
| (termFormat ItalianLanguage Measuring "Misurare") | terms-it.txt 363-363 | |
| (termFormat JapaneseLanguage Measuring "計測") | japanese_format.kif 2512-2512 | |
| (termFormat PortugueseLanguage Measuring "Medir") | portuguese_format.kif 780-780 | |
| (termFormat cb Measuring "pagsukod") | terms-cb.txt 365-365 | |
| (termFormat cz Measuring "measuring") | terms-cz.txt 399-399 | |
| (termFormat de Measuring "Messen") | terms-de.txt 658-658 | |
| (termFormat ro Measuring "mãsurare") | relations-ro.kif 849-849 | |
| (termFormat tg Measuring "sukatin") | terms-tg.txt 364-364 |
| antecedent |
|
|
| (=> (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 2764-2778 | |
| (=> (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 1252-1261 | |
| (=> (and (instance ?M Measuring) (instrument ?M ?R) (instance ?R RTPCRTest)) (exists (?E) (and (instance ?E RadiatingLight) (origin ?E ?R)))) |
Medicine.kif 1582-1590 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?C) (instance ?C Clock)) (instance ?Q TimeMeasure)) |
Mid-level-ontology.kif 3348-3354 | |
| (=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3384-3390 | |
| (=> (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 12257-12264 | |
| (=> (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 3372-3378 |
| consequent |
|
|
| (=> (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 27211-27225 | |
| (=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE))))) |
Merge.kif 16165-16171 | |
| (=> (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 1263-1272 | |
| (=> (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 1568-1580 | |
| (=> (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 | |
| (=> (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 |
|
|
|