Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Measuring
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 子類 Measuring and Calculating

appearance as argument number 2
-------------------------


(rangeSubclass MeasuringProcessFn Measuring) Medicine.kif 6339-6339 範圍子類 MeasuringProcessFn and Measuring
(subclass SurfaceWindSpeedMeasuring Measuring) Weather.kif 1712-1712 子類 SurfaceWindSpeedMeasuring and Measuring
(subclass Telemetry Measuring) Communications.kif 314-314 子類 Telemetry and Measuring
(termFormat ChineseLanguage Measuring "测量") chinese_format.kif 1150-1150 子類 Telemetry and Measuring
(termFormat EnglishLanguage Measuring "measuring") english_format.kif 1517-1517 子類 Telemetry and Measuring
(termFormat FrenchLanguage Measuring "mesurer") french_format.kif 828-828 子類 Telemetry and Measuring
(termFormat Hindi Measuring "maapana") terms-hindi.txt 360-360 子類 Telemetry and Measuring
(termFormat ItalianLanguage Measuring "Misurare") terms-it.txt 363-363 子類 Telemetry and Measuring
(termFormat JapaneseLanguage Measuring "計測") japanese_format.kif 2512-2512 子類 Telemetry and Measuring
(termFormat PortugueseLanguage Measuring "Medir") portuguese_format.kif 780-780 子類 Telemetry and Measuring
(termFormat cb Measuring "pagsukod") terms-cb.txt 365-365 子類 Telemetry and Measuring
(termFormat cz Measuring "measuring") terms-cz.txt 399-399 子類 Telemetry and Measuring
(termFormat de Measuring "Messen") terms-de.txt 658-658 子類 Telemetry and Measuring
(termFormat ro Measuring "mãsurare") relations-ro.kif 849-849 子類 Telemetry and Measuring
(termFormat tg Measuring "sukatin") terms-tg.txt 364-364 子類 Telemetry and Measuring

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners