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 16073-16074
(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 16072-16072	Measuring device is a subclass of device

appearance as argument number 2

(subclass Altimeter MeasuringDevice)	MilitaryDevices.kif 1420-1420	Altimeter is a subclass of measuring device
(subclass AntibodyCOVIDTest MeasuringDevice)	Medicine.kif 2750-2750	Antigen COVID test is a subclass of measuring device
(subclass BimetalTemperatureSensor MeasuringDevice)	Cars.kif 4048-4048	Bi-metal temperature sensor is a subclass of measuring device
(subclass Clock MeasuringDevice)	Mid-level-ontology.kif 2875-2875	Clock is a subclass of measuring device
(subclass FeelerGauge MeasuringDevice)	Cars.kif 2771-2771	Feeler gauge is a subclass of measuring device
(subclass FitbitDevice MeasuringDevice)	Medicine.kif 4458-4458	Fitbit is a subclass of measuring device
(subclass Hydrometer MeasuringDevice)	Cars.kif 3029-3029	Hydrometer is a subclass of measuring device
(subclass MassAirflowSensor MeasuringDevice)	Cars.kif 3282-3282	Mass airflow sensor is a subclass of measuring device
(subclass OxygenSensor MeasuringDevice)	Cars.kif 3320-3320	Oxygen sensor is a subclass of measuring device
(subclass PressureMeasuringDevice MeasuringDevice)	Mid-level-ontology.kif 2911-2911	Pressure measuring device is a subclass of measuring device
(subclass RTPCRTest MeasuringDevice)	Medicine.kif 1559-1559	Reverse transcription polymerase chain reaction is a subclass of measuring device
(subclass SnellenChart MeasuringDevice)	Medicine.kif 1699-1699	Snellen chart is a subclass of measuring device
(subclass Tachometer MeasuringDevice)	Cars.kif 3999-3999	Tachometer is a subclass of measuring device
(subclass TestForm MeasuringDevice)	Mid-level-ontology.kif 14708-14708	Test form is a subclass of measuring device
(subclass Thermometer MeasuringDevice)	Mid-level-ontology.kif 2899-2899	Thermometer is a subclass of measuring device
(subclass TorqueWrench MeasuringDevice)	Cars.kif 4124-4124	Torque wrench is a subclass of measuring device
(subclass VacuumGauge MeasuringDevice)	Cars.kif 4223-4223	Vacuum gauge is a subclass of measuring device
(termFormat ChineseLanguage MeasuringDevice "测量工具")	domainEnglishFormat.kif 36723-36723	Vacuum gauge is a subclass of measuring device
(termFormat ChineseTraditionalLanguage MeasuringDevice "測量工具")	domainEnglishFormat.kif 36722-36722	Vacuum gauge is a subclass of measuring device
(termFormat EnglishLanguage MeasuringDevice "measuring device")	domainEnglishFormat.kif 36721-36721	Vacuum gauge is a subclass of measuring device

appearance as argument number 3

(domain measurementReading 1 MeasuringDevice)

Mid-level-ontology.kif 2929-2929

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

antecedent

(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))

Merge.kif 16076-16082

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

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: