measurementReading - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - measurementReading

measurementReading

appearance as argument number 1

(documentation measurementReading EnglishLanguage "(measurementReading ?DEVICE ?QUANTITY) means that ?QUANTITY is a reading of the MeasuringDevice ?DEVICE, e.g. if ?THERMOMETER is a Thermometer, (measurementReading ?THERMOMETER (MeasureFn 42 CelsiusDegree)) would mean that ?THERMOMETER registers 42 degrees Celsius.")	Mid-level-ontology.kif 2996-3000
(domain measurementReading 1 MeasuringDevice)	Mid-level-ontology.kif 3002-3002	The number 1 argument of measurement reading is an instance of measuring device
(domain measurementReading 2 ConstantQuantity)	Mid-level-ontology.kif 3003-3003	The number 2 argument of measurement reading is an instance of constant quantity
(instance measurementReading BinaryPredicate)	Mid-level-ontology.kif 3001-3001	measurement reading is an instance of binary predicate

appearance as argument number 2

(format ChineseLanguage measurementReading "%2 %n 是 %1 的 measurement 读数")	domainEnglishFormat.kif 1667-1667
(format ChineseTraditionalLanguage measurementReading "%2 %n 是 %1 的 measurement 讀數")	domainEnglishFormat.kif 1666-1666
(format EnglishLanguage measurementReading "%2 is %n a measurement reading of %1")	domainEnglishFormat.kif 1665-1665
(termFormat ChineseLanguage measurementReading "测量读数")	domainEnglishFormat.kif 36703-36703
(termFormat ChineseTraditionalLanguage measurementReading "測量讀數")	domainEnglishFormat.kif 36702-36702
(termFormat EnglishLanguage measurementReading "measurement reading")	domainEnglishFormat.kif 36701-36701

consequent

(=> (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	If an object is an instance of odometer and another object is an instance of vehicle and the object is a part of the other object and a motion is an instance of translocation and the other object is an instrument for the motion and a transitway is path along which the motion occurs and the distance of the transitway is a real number an unit of measure(s) and the unit of measure is an instance of length measure, then the object has the purpose there exist an entity, another entity,, , the real numberIST and the unit of measure such that the entity is an instance of measuring and the object is an instrument for the entity and the real numberIST is a measurement reading of the object and the real number is a member of the other entity and the real numberIST is equal to the sum of the other entity the unit of measure(s) and reset measuring device is not an attribute of the object holds during the time of existence of the end of the entity
(=> (and (instance ?X MeasuringDevice) (attribute ?X ResetMeasuringDevice)) (and (measurementReading ?X (MeasureFn 0 ?U)) (instance ?U UnitOfMeasure)))	Cars.kif 3004-3011	If a measuring device is an instance of measuring device and reset measuring device is an attribute of the measuring device, then 0 an unit of measure(s) is a measurement reading of the measuring device and the unit of measure is an instance of unit of measure
(=> (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	If a physical is an instance of speedometer, then the physical has the purpose there exist an entity, another entity,, , the physicalPEED,, , a fourth entity,, , the other entityIME and a sixth entity such that the entity is an instance of vehicle and the physical is a part of the entity and the other entity is an instance of translocation and the entity is an instrument for the other entity and the measure of the other entity is the physicalPEED and the physicalPEED is equal to the fourth entity per the other entityIME and the sixth entity is an instance of measuring and the physical is an instrument for the sixth entity and the physicalPEED is a measurement reading of the sixth 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 3.0 is open source software produced by Articulate Software and its partners