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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Measuring

Sigma KEE - Measuring
Measuring

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


(documentation Measuring ChineseLanguage "这是 Calculating ProcessClass,它的目的是 决定 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 11981-11982
(subclass Measuring Calculating) Merge.kif 11980-11980

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


(subclass SurfaceWindSpeedMeasuring Measuring) Weather.kif 1730-1730
(termFormat ChineseLanguage Measuring "测量") chinese_format.kif 1150-1150
(termFormat EnglishLanguage Measuring "measuring") english_format.kif 1517-1517

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


(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?C)
        (instance ?C Clock))
    (instance ?Q TimeMeasure))
Mid-level-ontology.kif 2851-2857
(=>
    (and
        (instance ?M Measuring)
        (result ?M ?Q)
        (instrument ?M ?T)
        (instance ?T Thermometer))
    (instance ?Q TemperatureMeasure))
Mid-level-ontology.kif 2887-2893
(=>
    (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 11984-11991
(=>
    (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 2875-2881

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


(=>
    (and
        (instance ?LIST MeasuringList)
        (inList ?M ?LIST))
    (instance ?M Measuring))
Weather.kif 1716-1720
(=>
    (and
        (locationMeasuringList ?LIST ?PLACE)
        (inList ?M ?LIST))
    (and
        (instance ?M Measuring)
        (eventLocated ?M ?PLACE)))
Weather.kif 1769-1775
(=>
    (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 25425-25439
(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))
Merge.kif 15857-15863
(=>
    (instance ?FG FeelerGauge)
    (hasPurpose ?FG
        (exists (?TP ?M)
            (and
                (instance ?M Measuring)
                (instance ?TP TactilePerception)
                (subProcess ?TP ?M)
                (instrument ?M ?FG)))))
Cars.kif 2796-2804
(=>
    (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 3051-3060
(=>
    (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 3303-3313
(=>
    (instance ?OS OxygenSensor)
    (hasPurpose ?OS
        (exists (?O ?M)
            (and
                (instance ?O Oxygen)
                (instance ?M Measuring)
                (patient ?M ?O)
                (instrument ?M ?OS)))))
Cars.kif 3340-3348
(=>
    (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 4019-4028


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