Measuring - Sigma Knowledge base Browser

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 Process 的 Class，它的目的是决定 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	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of clock, then the entity is an instance of time measure
( ! [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	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12038-12045	If a process is an instance of measuring and an agent is an agent of the process and an entity is a patient of the process, then there exist another entity and a third entity such that the agent knows the measure of the entity is the other entity the third entity(s) holds during the end of the time of existence of the process
( ! [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	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of absolute altimeter, then there exists the physical2 such that the altitude of the physical is the physical2 and the physical2 is a surface of planet earth
( ! [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	If a process is an instance of measuring and a physical is a patient of the process and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the altitude of the physical is sea level
( ! [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	If a process is an instance of measuring and a self connected object is a patient of the process and the self connected object is a surface of planet earth and a length measure is a result of the process and an object is an instrument for the process and the object is an instance of barometric altimeter, then the length measure is an elevation of the self connected object
( ! [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	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of altimeter, then the entity is an instance of altitude measure
( ! [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	If a process is an instance of measuring and an entity is a result of the process and an object is an instrument for the process and the object is an instance of thermometer, then the entity is an instance of temperature measure

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23429-23443	If a physical is an instance of alarm clock, then the physical has purpose there exist an entity, another entity and a third entity such that the other entity is an instance of measuring and the physical is an agent of the other entity and the third entity is a result of the other entity and the third entity is equal to the entity and there exists a fourth entity such that the fourth entity is an instance of radiating sound and the physical is an agent of the fourth entity holds during the time of existence of the other entity
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16171-16177	If a physical is an instance of measuring device, then the physical has purpose there exists an entity such that the entity is an instance of measuring and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2777-2785	If a physical is an instance of feeler gauge, then the physical has purpose there exist an entity and another entity such that the other entity is an instance of measuring and the entity is an instance of tactile perception and the entity is a subprocess of the other entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3022-3031	If a physical is an instance of hydrometer, then the physical has purpose there exist an entity and another entity such that the entity is an instance of measuring and the other entity is an instance of substance and liquid is an attribute of the other entity and the other entity is a patient of the entity and the physical is an instrument for the entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3271-3281	If a physical is an instance of mass airflow sensor, then the physical has purpose there exist an entity, another entity and a third entity such that the entity is an instance of transfer and the third entity is an instance of the third entityir and the third entity is a patient of a fifth entity and the other entity is an instance of measuring and the third entity is a patient of the other entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3308-3316	If a physical is an instance of OxygenSensor, then the physical has purpose there exist an entity and another entity such that the entity is an instance of oxygen and the other entity is an instance of measuring and the entity is a patient of the other entity and the physical is an instrument for the other entity
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3985-3994	If a physical is an instance of tachometer, then the physical has purpose there exist an entity, another entity and a third entity such that the entity is an instance of rotating and the third entity is a patient of the entity and the other entity is an instance of measuring and the physical is an instrument for the other entity and the third entity is a patient of the other entity

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