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

KB Term:  Term intersection
English Word: 

Sigma KEE - Measuring
Measuring(measuring)11-plus, Binet-Simon_Scale, IQ_test, Stanford-Binet_test, acidimetric, acidimetry, actinometric, actinometrical, actinometry, algometry, alkalimetry, anemographic, anemography, anemometric, anemometrical, anemometry, angulation, anthropometric, anthropometrical, anthropometry, arterial_blood_gases, audiometric, audiometry, barographic, barometric, barometrical, bathymetric, bathymetrical, bathymetry, bolometric, calendric, calendrical, calibrate, caliper, calliper, calorimetric, calorimetry, cephalometry, clock, colorimetric, colorimetrical, densitometry, dimensioning, dosimetry, eleven-plus, equal_temperament, examination, fathom, fetometry, foetometry...

appearance as argument number 1
-------------------------


(subclass Measuring Calculating) Merge.kif 12404-12404 Measuring is a subclass of calculating
(documentation Measuring EnglishLanguage "The Class of Calculating Processes where the aim is to determine the PhysicalQuantity of some aspect of the patient.") Merge.kif 12405-12406 Measuring is a subclass of calculating

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


(subclass Telemetry Measuring) Communications.kif 320-320 Telemetry is a subclass of measuring
(rangeSubclass MeasuringProcessFn Measuring) Medicine.kif 6353-6353 The values returned by measuring a process are subclasses of measuring
(subclass SurfaceWindSpeedMeasuring Measuring) Weather.kif 3023-3023 Surface wind speed measuring is a subclass of measuring
(termFormat EnglishLanguage Measuring "measuring") english_format.kif 1521-1521 Surface wind speed measuring is a subclass of measuring

antecedent
-------------------------


(=>
    (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 12408-12415 If X is an instance of measuring, Y is an agent of X, and Z is a patient of X, then there exist W and V such that Y knows the measure of Z is W V(s) holds during the end of the time of existence of X
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?C)
        (instance ?C Clock))
    (instance ?Q TimeMeasure))		 Mid-level-ontology.kif 3513-3519 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of clock, then Y is an instance of time measure
(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?THERMOMETER)
        (instance ?THERMOMETER Thermometer))
    (instance ?QUANTITY TemperatureMeasure))		 Mid-level-ontology.kif 3537-3543 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?T)
        (instance ?T Thermometer))
    (instance ?Q TemperatureMeasure))		 Mid-level-ontology.kif 3549-3555 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of thermometer, then Y is an instance of temperature measure
(=>
    (and
        (instance ?R Ruler)
        (instance ?M Measuring)
        (instrument ?M ?R)
        (patient ?M ?O)
        (length ?O
            (MeasureFn ?N Meter)))
    (lessThan ?N 10.0))		 Mid-level-ontology.kif 34311-34319 If X is an instance of ruler, Y is an instance of measuring, X is an instrument for Y, Z is a patient of Y, and the length of Z is W meter(s), then W is less than 10.0
(=>
    (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 1241-1250 If X is an instance of measuring, Y is an instrument for X, Z is an agent of X, W is a patient of X, and Y is an instance of pulse oximeter, then there exists V such that Z knows the oxygen saturation of W is V percent
(=>
    (and
        (instance ?M Measuring)
        (instrument ?M ?R)
        (instance ?R RTPCRTest))
    (exists (?E)
        (and
            (instance ?E RadiatingLight)
            (origin ?E ?R))))		 Medicine.kif 1573-1581 If X is an instance of measuring, Y is an instrument for X, and Y is an instance of Reverse transcription polymerase chain reaction, then there exists Z such that Z is an instance of radiating light and Z originates at Y
(=>
    (and
        (instance ?A AntibodyCOVIDTest)
        (instrument ?M ?A)
        (instance ?M Measuring)
        (patient ?M ?H)
        (instance ?CA COVIDAntibody)
        (part ?CA ?H))
    (modalAttribute
        (knows ?H
            (part ?CA ?H)) Likely))		 Medicine.kif 2772-2783 If All of the following hold: (1) X is an instance of antigen COVID test (2) X is an instrument for Y (3) Y is an instance of measuring (4) Z is a patient of Y (5) W is an instance of COVID antibody (6) W is a part of Z, then the statement Z knows W is a part of Z has the modal force of likely
(=>
    (and
        (instance ?MEASURE Measuring)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?ALTIMETER)
        (instance ?ALTIMETER Altimeter))
    (instance ?QUANTITY AltitudeMeasure))		 MilitaryDevices.kif 1583-1589 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of altimeter, then Y is an instance of altitude measure
(=>
    (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 1598-1608 If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of absolute altimeter, then there exists V such that the altitude of Y relative to V is Z and V is a surface of planet earth
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (altitude ?OBJ SeaLevel ?QUANTITY))		 MilitaryDevices.kif 1634-1641 If X is an instance of measuring, Y is a patient of X, Z is a result of X, W is an instrument for X, and W is an instance of barometric altimeter, then the altitude of Y relative to sea level is Z
(=>
    (and
        (instance ?MEASURE Measuring)
        (patient ?MEASURE ?OBJ)
        (surface ?OBJ PlanetEarth)
        (result ?MEASURE ?QUANTITY)
        (instrument ?MEASURE ?BAROMETER)
        (instance ?BAROMETER BarometricAltimeter))
    (elevation ?OBJ ?QUANTITY))		 MilitaryDevices.kif 1645-1653 If All of the following hold: (1) X is an instance of measuring (2) Y is a patient of X (3) Y is a surface of planet earth (4) Z is a result of X (5) W is an instrument for X (6) W is an instance of barometric altimeter, then Z is an elevation of Y
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?S)
        (instance ?S Scales))
    (instance ?Q MassMeasure))		 Society.kif 851-857 If X is an instance of measuring, Y is a result of X, Z is an instrument for X, and Z is an instance of scales, then Y is an instance of mass measure

consequent
-------------------------


(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))		 Merge.kif 16357-16363 If X is an instance of measuring device, then X has the purpose there exists Y such that Y is an instance of measuring and X is an instrument for Y
(=>
    (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 27833-27847 If X is an instance of alarm clock, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Z is an instance of measuring (3) X is an agent of Z (4) W is a result of Z (5) equal W (6) Y (7) there exists V such that V is an instance of radiating sound (8) X is an agent of V holds during the time of existence of Z
(=>
    (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 34297-34305 If X is an instance of ruler, then X has the purpose there exist Y, Z such that Y is an instance of LinearExtent, Z is an instance of measuring, Y is a result of Z, and X is an instrument for Z
(=>
    (instance ?FG FeelerGauge)
    (hasPurpose ?FG
        (exists (?TP ?M)
            (and
                (instance ?M Measuring)
                (instance ?TP TactilePerception)
                (subProcess ?TP ?M)
                (instrument ?M ?FG)))))		 Cars.kif 2634-2642 If X is an instance of feeler gauge, then X has the purpose there exist Y, Z such that Z is an instance of measuring, Y is an instance of tactile perception, Y is a subprocess of Z, and X is an instrument for Z
(=>
    (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)
            (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 2824-2850 If All of the following hold: (1) X is an instance of odometer (2) Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) W is path along which Z occurs (7) the distance of W is V U(s) (8) U is an instance of length measure, then X has the purpose there exist T, S and R such that T is an instance of measuring and X is an instrument for T and R is a measurement reading of X and V is a member of S and equal R and the sum of S U(s) and reset measuring device is not an attribute of X holds during the time of existence of the end of T
(=>
    (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 2872-2886 If X is an instance of speedometer, then All of the following hold: (1) X has the purpose there exist Y, Z,, , W,, , V,, , U (2) T such that Y is an instance of vehicle (3) X is a part of Y (4) Z is an instance of translocation (5) Y is an instrument for Z (6) the measure of Z is W (7) equal W (8) V per U (9) T is an instance of measuring (10) X is an instrument for T (11) W is a measurement reading of T
(=>
    (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 2946-2955 If X is an instance of hydrometer, then X has the purpose there exist Y, Z such that Y is an instance of measuring, Z is an instance of substance, liquid is an attribute of Z, Z is a patient of Y, and X is an instrument for Y
(=>
    (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 3193-3203 If X is an instance of mass airflow sensor, then All of the following hold: (1) X has the purpose there exist Y, Z (2) W such that Y is an instance of transfer (3) W is an instance of air (4) W is a patient of Y (5) Z is an instance of measuring (6) W is a patient of Z (7) X is an instrument for Z
(=>
    (instance ?OS OxygenSensor)
    (hasPurpose ?OS
        (exists (?O ?M)
            (and
                (instance ?O Oxygen)
                (instance ?M Measuring)
                (patient ?M ?O)
                (instrument ?M ?OS)))))		 Cars.kif 3230-3238 If X is an instance of oxygen sensor, then X has the purpose there exist Y, Z such that Y is an instance of oxygen, Z is an instance of measuring, Y is a patient of Z, and X is an instrument for Z
(=>
    (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 3889-3898 If X is an instance of tachometer, then X has the purpose there exist Y, Z, W such that Y is an instance of rotating, W is a patient of Y, Z is an instance of measuring, X is an instrument for Z, and W is a patient of Z
(=>
    (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 322-340 If X is an instance of telemetry, then All of the following hold: (1) there exist Y, Z,, , W,, , V,, , U (2) T such that U is an instance of measuring (3) Z is an instance of measuring device (4) Y is an instance of region (5) W is an instance of region (6) T is an instance of messaging (7) T is a subprocess of X (8) U is a subprocess of X (9) V is an instance of electronic data storage device (10) Z is an agent of U (11) Z is located at Y (12) V is located at W (13) U is located at Y (14) equal W (15) Y (16) T originates at Z (17) T ends up at V
(=>
    (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 1252-1261 If X is an instance of pulse oximeter, then X has the purpose there exist Y, Z, W such that Y is an instance of measuring, X is an instrument for Y, Z is an agent of Y, W is a patient of Y, and X is an instance of pulse oximeter
(=>
    (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 1559-1571 If X is an instance of Reverse transcription polymerase chain reaction, then X has the purpose there exist Y, Z,, , W, V such that Y is an instance of measuring, U is a patient of Y, U is an instance of RNA molecule, the measure of U is V holds during W, and Z knows the measure of U is V holds during W
(=>
    (and
        (instance ?LIST MeasuringList)
        (inList ?M ?LIST))
    (instance ?M Measuring))		 Weather.kif 3009-3013 If X is an instance of measuring list and Y is a member of X, then Y is an instance of measuring
(=>
    (and
        (locationMeasuringList ?LIST ?PLACE)
        (inList ?M ?LIST))
    (and
        (instance ?M Measuring)
        (eventLocated ?M ?PLACE)))		 Weather.kif 3062-3068 If The eventLocated for X is Y and Z is a member of X, then Z is an instance of measuring and Z is located at Y


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners