MeasuringDevice - Sigma Knowledge base Browser

appearance as argument number 1

(documentation MeasuringDevice ChineseLanguage "这是任何用来量度 PhysicalQuantity 的 Device。")	chinese_format.kif 3628-3629
(documentation MeasuringDevice EnglishLanguage "Any Device whose purpose is to measure a PhysicalQuantity.")	Merge.kif 16199-16200
(externalImage MeasuringDevice "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 3/ 35/ TapeMeasure.png/ 180px_TapeMeasure.png")	pictureList.kif 1176-1176
(subclass MeasuringDevice Device)	Merge.kif 16198-16198	Measuring device is a subclass of device

appearance as argument number 2

(subclass Altimeter MeasuringDevice)	MilitaryDevices.kif 1577-1577	Altimeter is a subclass of measuring device
(subclass AntibodyCOVIDTest MeasuringDevice)	Medicine.kif 2751-2751	Antigen COVID test is a subclass of measuring device
(subclass BimetalTemperatureSensor MeasuringDevice)	Cars.kif 4124-4124	Bi_metal temperature sensor is a subclass of measuring device
(subclass Clock MeasuringDevice)	Mid-level-ontology.kif 3345-3345	Clock is a subclass of measuring device
(subclass FeelerGauge MeasuringDevice)	Cars.kif 2772-2772	Feeler gauge is a subclass of measuring device
(subclass FitbitDevice MeasuringDevice)	Medicine.kif 4465-4465	Fitbit is a subclass of measuring device
(subclass Hydrometer MeasuringDevice)	Cars.kif 3105-3105	Hydrometer is a subclass of measuring device
(subclass MassAirflowSensor MeasuringDevice)	Cars.kif 3358-3358	Mass airflow sensor is a subclass of measuring device
(subclass Odometer MeasuringDevice)	Cars.kif 2964-2964	Odometer is a subclass of measuring device
(subclass OxygenSensor MeasuringDevice)	Cars.kif 3396-3396	Oxygen sensor is a subclass of measuring device
(subclass PressureMeasuringDevice MeasuringDevice)	Mid-level-ontology.kif 3381-3381	Pressure measuring device is a subclass of measuring device
(subclass RTPCRTest MeasuringDevice)	Medicine.kif 1552-1552	Reverse transcription polymerase chain reaction is a subclass of measuring device
(subclass Ruler MeasuringDevice)	Mid-level-ontology.kif 33795-33795	Ruler is a subclass of measuring device
(subclass SnellenChart MeasuringDevice)	Medicine.kif 1692-1692	Snellen chart is a subclass of measuring device
(subclass Speedometer MeasuringDevice)	Cars.kif 3013-3013	Speedometer is a subclass of measuring device
(subclass Tachometer MeasuringDevice)	Cars.kif 4075-4075	Tachometer is a subclass of measuring device
(subclass TestForm MeasuringDevice)	Mid-level-ontology.kif 15850-15850	Test form is a subclass of measuring device
(subclass Thermometer MeasuringDevice)	Mid-level-ontology.kif 3369-3369	Thermometer is a subclass of measuring device
(subclass TorqueWrench MeasuringDevice)	Cars.kif 4200-4200	Torque wrench is a subclass of measuring device
(subclass VacuumGauge MeasuringDevice)	Cars.kif 4299-4299	Vacuum gauge is a subclass of measuring device
(termFormat ChineseLanguage MeasuringDevice "测量工具")	domainEnglishFormat.kif 36697-36697	Vacuum gauge is a subclass of measuring device
(termFormat ChineseTraditionalLanguage MeasuringDevice "測量工具")	domainEnglishFormat.kif 36696-36696	Vacuum gauge is a subclass of measuring device
(termFormat EnglishLanguage MeasuringDevice "measuring device")	domainEnglishFormat.kif 36695-36695	Vacuum gauge is a subclass of measuring device

appearance as argument number 3

(domain measurementReading 1 MeasuringDevice)

Mid-level-ontology.kif 3399-3399

The number 1 argument of measurement reading is an instance of measuring device

antecedent

(=> (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 ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE)))))	Merge.kif 16202-16208	If a physical is an instance of measuring device, then the physical has the purpose there exists an entity such that the entity is an instance of measuring and the physical is an instrument for the entity

consequent

(=>
    (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 316-334

If a process is an instance of telemetry,
then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of measuring device and the object is an instance of region and the other object is an instance of region and the third process is an instance of messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of electronic data storage device and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and the other process is located at the object and equal the other object and the object and the third process originates at the agent and the third process ends up at the physical

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

KB Term:			Term intersection

English Word: