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 12269-12270 | |
(subclass Measuring Calculating) | Merge.kif 12268-12268 | 計測 は 計算 の subclass では |
appearance as argument number 2 |
![]() |
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 3349-3355 | |
(=> (and (instance ?M Measuring) (result ?M ?Q) (instrument ?M ?T) (instance ?T Thermometer)) (instance ?Q TemperatureMeasure)) |
Mid-level-ontology.kif 3385-3391 | |
(=> (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 12272-12279 | |
(=> (and (instance ?MEASURE Measuring) (result ?MEASURE ?QUANTITY) (instrument ?MEASURE ?THERMOMETER) (instance ?THERMOMETER Thermometer)) (instance ?QUANTITY TemperatureMeasure)) |
Mid-level-ontology.kif 3373-3379 | |
(=> (and (instance ?R Ruler) (instance ?M Measuring) (instrument ?M ?R) (instance ?LE LinearExtent) (result ?M ?LE)) (lessThan ?LE (MeasureFn 10.0 Meter))) |
Mid-level-ontology.kif 33827-33834 |
consequent |
![]() |
![]() |
![]() |