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 12165-12166 | |
(subclass Measuring Calculating) | Merge.kif 12164-12164 | 测量 是 计算 的 subclass |
appearance as argument number 2 |
(rangeSubclass MeasuringProcessFn Measuring) | Medicine.kif 6322-6322 | MeasuringProcessFn 的所得值 是 测量 的 subclass |
(subclass SurfaceWindSpeedMeasuring Measuring) | Weather.kif 1713-1713 | 地面风速量度 是 测量 的 subclass |
(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 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 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 |
consequent |
(=> (and (instance ?LIST MeasuringList) (inList ?M ?LIST)) (instance ?M Measuring)) |
Weather.kif 1699-1703 | |
(=> (and (locationMeasuringList ?LIST ?PLACE) (inList ?M ?LIST)) (and (instance ?M Measuring) (eventLocated ?M ?PLACE))) |
Weather.kif 1752-1758 | |
(=> (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 25587-25601 | |
(=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE))))) |
Merge.kif 16076-16082 | |
(=> (instance ?FG FeelerGauge) (hasPurpose ?FG (exists (?TP ?M) (and (instance ?M Measuring) (instance ?TP TactilePerception) (subProcess ?TP ?M) (instrument ?M ?FG))))) |
Cars.kif 2779-2787 | |
(=> (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 3034-3043 | |
(=> (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 3288-3298 | |
(=> (instance ?OS OxygenSensor) (hasPurpose ?OS (exists (?O ?M) (and (instance ?O Oxygen) (instance ?M Measuring) (patient ?M ?O) (instrument ?M ?OS))))) |
Cars.kif 3325-3333 | |
(=> (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 1271-1280 | |
(=> (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 1575-1587 | |
(=> (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 4004-4013 |