Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  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
-------------------------


s__documentation(s__Measuring,s__ChineseLanguage,'这是 Calculating ProcessClass,它的目的是 决定 patient 在某些方面的 PhysicalQuantity。')

Merge.kif 12035-12036
s__documentation(s__Measuring,s__EnglishLanguage,'The Class of Calculating Processes where the aim is to determine the PhysicalQuantity of some aspect of the patient.')

Merge.kif 12033-12034
s__instance(s__Calculating,s__SetOrClass)

s__instance(s__Measuring,s__SetOrClass)

s__subclass(s__Measuring,s__Calculating)

Merge.kif 12032-12032 Measuring is a subclass of calculating

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


s__termFormat(s__ChineseLanguage,s__Measuring,'测量')

chinese_format.kif 1150-1150 "测量" is the printable form of measuring in ChineseLanguage
s__termFormat(s__EnglishLanguage,s__Measuring,'measuring')

english_format.kif 1527-1527 "measuring" is the printable form of measuring in english language
s__termFormat(s__JapaneseLanguage,s__Measuring,'計測')

english_format.kif 1528-1528 "計測" is the printable form of measuring in japanese language

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


( ! [V__M,V__Q,V__C] :
   ((s__instance(V__M,s__Measuring)s__and__ms__result(V__M,V__Q)
    s__and__ms__instrument(V__M,V__C)
  s__and__ms__instance(V__C,s__Clock))
s__=>s__instance(V__Q,s__TimeMeasure))
)

Mid-level-ontology.kif 3371-3377
( ! [V__M,V__Q,V__T] :
   ((s__instance(V__M,s__Measuring)s__and__ms__result(V__M,V__Q)
    s__and__ms__instrument(V__M,V__T)
  s__and__ms__instance(V__T,s__Thermometer))
s__=>s__instance(V__Q,s__TemperatureMeasure))
)

Mid-level-ontology.kif 3406-3412
No TPTP formula. May not be expressible in strict first order. Merge.kif 12038-12045
( ! [V__OBJ,V__QUANTITY,V__MEASURE,V__ABSOLUTEMETER] :
   ((s__instance(V__OBJ,s__Physical)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__ABSOLUTEMETER)
  s__and__ms__instance(V__ABSOLUTEMETER,s__AbsoluteAltimeter))
s__=>(s__exists__m[V__OBJ2] :
   (s__instance(V__OBJ2,s__SelfConnectedObject)s__and__m(s__altitude(V__OBJ,V__OBJ2,V__QUANTITY)
  s__and__ms__surface(V__OBJ2,s__PlanetEarth))))))
)

MilitaryDevices.kif 1440-1450
( ! [V__OBJ,V__QUANTITY,V__MEASURE,V__BAROMETER] :
   ((s__instance(V__OBJ,s__Physical)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__BAROMETER)
  s__and__ms__instance(V__BAROMETER,s__BarometricAltimeter))
s__=>s__altitude(V__OBJ,s__SeaLevel,V__QUANTITY)))
)

MilitaryDevices.kif 1476-1483
( ! [V__OBJ,V__QUANTITY,V__MEASURE,V__BAROMETER] :
   ((s__instance(V__OBJ,s__SelfConnectedObject)s__and__ms__instance(V__QUANTITY,s__LengthMeasure))
    s__=>((s__instance(V__MEASURE,s__Measuring)s__and__ms__patient(V__MEASURE,V__OBJ)
      s__and__ms__surface(V__OBJ,s__PlanetEarth)s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__BAROMETER)
  s__and__ms__instance(V__BAROMETER,s__BarometricAltimeter))
s__=>s__elevation(V__OBJ,V__QUANTITY)))
)

MilitaryDevices.kif 1487-1495
( ! [V__MEASURE,V__QUANTITY,V__ALTIMETER] :
   ((s__instance(V__MEASURE,s__Measuring)s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__ALTIMETER)
  s__and__ms__instance(V__ALTIMETER,s__Altimeter))
s__=>s__instance(V__QUANTITY,s__AltitudeMeasure))
)

MilitaryDevices.kif 1425-1431
( ! [V__MEASURE,V__QUANTITY,V__THERMOMETER] :
   ((s__instance(V__MEASURE,s__Measuring)s__and__ms__result(V__MEASURE,V__QUANTITY)
    s__and__ms__instrument(V__MEASURE,V__THERMOMETER)
  s__and__ms__instance(V__THERMOMETER,s__Thermometer))
s__=>s__instance(V__QUANTITY,s__TemperatureMeasure))
)

Mid-level-ontology.kif 3394-3400

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 23429-23443
No TPTP formula. May not be expressible in strict first order. Merge.kif 16171-16177
No TPTP formula. May not be expressible in strict first order. Cars.kif 2777-2785
No TPTP formula. May not be expressible in strict first order. Cars.kif 3022-3031
No TPTP formula. May not be expressible in strict first order. Cars.kif 3271-3281
No TPTP formula. May not be expressible in strict first order. Cars.kif 3308-3316
No TPTP formula. May not be expressible in strict first order. Cars.kif 3985-3994


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners