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

Formal Language: 



KB Term:  Term intersection
English Word: 

  MeasuringDevice

 Sigma KEE - MeasuringDevice
MeasuringDevice(測量工具)

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 16001-16002
(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 16000-16000 子類 測量工具 and Device

appearance as argument number 2
-------------------------


(subclass Altimeter MeasuringDevice) MilitaryDevices.kif 1420-1420 子類 高度表 and 測量工具
(subclass AntibodyCOVIDTest MeasuringDevice) Medicine.kif 2750-2750 子類 AntibodyCOVIDTest and 測量工具
(subclass BimetalTemperatureSensor MeasuringDevice) Cars.kif 4063-4063 子類 BimetalTemperatureSensor and 測量工具
(subclass Clock MeasuringDevice) Mid-level-ontology.kif 2882-2882 子類 時鐘 and 測量工具
(subclass FeelerGauge MeasuringDevice) Cars.kif 2788-2788 子類 FeelerGauge and 測量工具
(subclass FitbitDevice MeasuringDevice) Medicine.kif 4458-4458 子類 FitbitDevice and 測量工具
(subclass Hydrometer MeasuringDevice) Cars.kif 3046-3046 子類 Hydrometer and 測量工具
(subclass MassAirflowSensor MeasuringDevice) Cars.kif 3297-3297 子類 MassAirflowSensor and 測量工具
(subclass OxygenSensor MeasuringDevice) Cars.kif 3335-3335 子類 OxygenSensor and 測量工具
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2918-2918 子類 壓力測量裝置 and 測量工具
(subclass RTPCRTest MeasuringDevice) Medicine.kif 1559-1559 子類 RTPCRTest and 測量工具
(subclass SnellenChart MeasuringDevice) Medicine.kif 1699-1699 子類 SnellenChart and 測量工具
(subclass Tachometer MeasuringDevice) Cars.kif 4014-4014 子類 Tachometer and 測量工具
(subclass TestForm MeasuringDevice) Mid-level-ontology.kif 14490-14490 子類 測試表格 and 測量工具
(subclass Thermometer MeasuringDevice) Mid-level-ontology.kif 2906-2906 子類 溫度計 and 測量工具
(subclass TorqueWrench MeasuringDevice) Cars.kif 4139-4139 子類 TorqueWrench and 測量工具
(subclass VacuumGauge MeasuringDevice) Cars.kif 4238-4238 子類 VacuumGauge and 測量工具
(termFormat ChineseLanguage MeasuringDevice "测量工具") domainEnglishFormat.kif 36689-36689
(termFormat ChineseTraditionalLanguage MeasuringDevice "測量工具") domainEnglishFormat.kif 36688-36688
(termFormat EnglishLanguage MeasuringDevice "measuring device") domainEnglishFormat.kif 36687-36687

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


(domain measurementReading 1 MeasuringDevice) Mid-level-ontology.kif 2936-2936 域 測量讀數, 1 and 測量工具

antecedent
-------------------------


(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))		 Merge.kif 16004-16010


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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