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

Formal Language: 


KB Term:  Term intersection
English Word: 

  Measuring

 Sigma KEE - Measuring
Measuring(mesurer)

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 Mesurer est une sous-classe de calculer

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


(rangeSubclass MeasuringProcessFn Measuring) Medicine.kif 6339-6339 Les valeurs retourn�es par MeasuringProcessFn sont des sous-classes de mesurer
(subclass SurfaceWindSpeedMeasuring Measuring) Weather.kif 2559-2559 SurfaceWindSpeedMeasuring est une sous-classe de mesurer
(subclass Telemetry Measuring) Communications.kif 314-314 Telemetry est une sous-classe de mesurer
(termFormat ChineseLanguage Measuring "测量") chinese_format.kif 1150-1150 Telemetry est une sous-classe de mesurer
(termFormat EnglishLanguage Measuring "measuring") english_format.kif 1517-1517 Telemetry est une sous-classe de mesurer
(termFormat FrenchLanguage Measuring "mesurer") french_format.kif 828-828 Telemetry est une sous-classe de mesurer
(termFormat Hindi Measuring "maapana") terms-hindi.txt 360-360 Telemetry est une sous-classe de mesurer
(termFormat ItalianLanguage Measuring "Misurare") terms-it.txt 363-363 Telemetry est une sous-classe de mesurer
(termFormat JapaneseLanguage Measuring "計測") japanese_format.kif 2512-2512 Telemetry est une sous-classe de mesurer
(termFormat PortugueseLanguage Measuring "Medir") portuguese_format.kif 780-780 Telemetry est une sous-classe de mesurer
(termFormat cb Measuring "pagsukod") terms-cb.txt 365-365 Telemetry est une sous-classe de mesurer
(termFormat cz Measuring "measuring") terms-cz.txt 399-399 Telemetry est une sous-classe de mesurer
(termFormat de Measuring "Messen") terms-de.txt 658-658 Telemetry est une sous-classe de mesurer
(termFormat ro Measuring "mãsurare") relations-ro.kif 849-849 Telemetry est une sous-classe de mesurer
(termFormat tg Measuring "sukatin") terms-tg.txt 364-364 Telemetry est une sous-classe de mesurer

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
-------------------------


(=>
    (and
        (instance ?LIST MeasuringList)
        (inList ?M ?LIST))
    (instance ?M Measuring))		 Weather.kif 2545-2549
(=>
    (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 2598-2604
(=>
    (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 27192-27206
(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))		 Merge.kif 16180-16186
(=>
    (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 ?R Ruler)
    (hasPurpose ?R
        (exists (?D ?M)
            (and
                (instance ?D LinearExtent)
                (instance ?M Measuring)
                (result ?M ?D)
                (instrument ?M ?R)))))		 Mid-level-ontology.kif 33813-33821
(=>
    (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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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