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 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 测量工具 是 设备 的 subclass

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


(subclass Altimeter MeasuringDevice) MilitaryDevices.kif 1420-1420 高度表 是 测量工具 的 subclass
(subclass AntibodyCOVIDTest MeasuringDevice) Medicine.kif 2750-2750 AntibodyCOVIDTest 是 测量工具 的 subclass
(subclass BimetalTemperatureSensor MeasuringDevice) Cars.kif 4048-4048 BimetalTemperatureSensor 是 测量工具 的 subclass
(subclass Clock MeasuringDevice) Mid-level-ontology.kif 2875-2875 时钟 是 测量工具 的 subclass
(subclass FeelerGauge MeasuringDevice) Cars.kif 2771-2771 FeelerGauge 是 测量工具 的 subclass
(subclass FitbitDevice MeasuringDevice) Medicine.kif 4458-4458 FitbitDevice 是 测量工具 的 subclass
(subclass Hydrometer MeasuringDevice) Cars.kif 3029-3029 Hydrometer 是 测量工具 的 subclass
(subclass MassAirflowSensor MeasuringDevice) Cars.kif 3282-3282 MassAirflowSensor 是 测量工具 的 subclass
(subclass OxygenSensor MeasuringDevice) Cars.kif 3320-3320 OxygenSensor 是 测量工具 的 subclass
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2911-2911 压力测量装置 是 测量工具 的 subclass
(subclass RTPCRTest MeasuringDevice) Medicine.kif 1559-1559 RTPCRTest 是 测量工具 的 subclass
(subclass SnellenChart MeasuringDevice) Medicine.kif 1699-1699 SnellenChart 是 测量工具 的 subclass
(subclass Tachometer MeasuringDevice) Cars.kif 3999-3999 Tachometer 是 测量工具 的 subclass
(subclass TestForm MeasuringDevice) Mid-level-ontology.kif 14517-14517 测试表格 是 测量工具 的 subclass
(subclass Thermometer MeasuringDevice) Mid-level-ontology.kif 2899-2899 温度计 是 测量工具 的 subclass
(subclass TorqueWrench MeasuringDevice) Cars.kif 4124-4124 TorqueWrench 是 测量工具 的 subclass
(subclass VacuumGauge MeasuringDevice) Cars.kif 4223-4223 VacuumGauge 是 测量工具 的 subclass
(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 2929-2929 测量读数 的 1 数量 是 测量工具 的 instance

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


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


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