Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - MeasuringDevice
MeasuringDevice(measuring device)
Molisch's_test, Molisch_reaction, Molisch_test, absorption_indicator, acid-base_indicator, air-sleeve, air_sock, alpha-naphthol_test, detector, drogue, electric_meter, electrodynamometer, electroencephalograph, electrometer, electromyograph, electron_microscope, electronic_fetal_monitor, electronic_foetal_monitor, electronic_voltmeter, electroscope, fetal_monitor, foetal_monitor, gage, gauge, interferometer, measuring_device, measuring_instrument, measuring_system, metal_detector, power_meter, sensing_element, sensor, sock, tacheometer, tachymeter, trace_detector, ultracentrifuge, wind_cone, wind_sleeve, wind_sock, windsock, wire_gage, wire_gauge

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 16098-16099
(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 16097-16097 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 2738-2738 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 2948-2948 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 4446-4446 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 2984-2984 Pressure measuring device is a subclass of measuring device
(subclass RTPCRTest MeasuringDevice) Medicine.kif 1547-1547 Reverse transcription polymerase chain reaction is a subclass of measuring device
(subclass SnellenChart MeasuringDevice) Medicine.kif 1687-1687 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 15418-15418 Test form is a subclass of measuring device
(subclass Thermometer MeasuringDevice) Mid-level-ontology.kif 2972-2972 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 36715-36715 Vacuum gauge is a subclass of measuring device
(termFormat ChineseTraditionalLanguage MeasuringDevice "測量工具") domainEnglishFormat.kif 36714-36714 Vacuum gauge is a subclass of measuring device
(termFormat EnglishLanguage MeasuringDevice "measuring device") domainEnglishFormat.kif 36713-36713 Vacuum gauge is a subclass of measuring device

appearance as argument number 3
-------------------------


(domain measurementReading 1 MeasuringDevice) Mid-level-ontology.kif 3002-3002 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
(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))		 Merge.kif 16101-16107


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