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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - MeasuringDevice

appearance as argument number 1

(documentation MeasuringDevice ChineseLanguage "这是任何用来量度 PhysicalQuantityDevice。") chinese_format.kif 3628-3629
(documentation MeasuringDevice EnglishLanguage "Any Device whose purpose is to measure a PhysicalQuantity.") Merge.kif 15719-15720
(externalImage MeasuringDevice " thumb/ 3/ 35/ TapeMeasure.png/ 180px-TapeMeasure.png") pictureList.kif 1177-1177
(subclass MeasuringDevice Device) Merge.kif 15718-15718

appearance as argument number 2

(subclass Altimeter MeasuringDevice) MilitaryDevices.kif 1420-1420
(subclass BimetalTemperatureSensor MeasuringDevice) Cars.kif 4066-4066
(subclass Clock MeasuringDevice) Mid-level-ontology.kif 2833-2833
(subclass FeelerGauge MeasuringDevice) Cars.kif 2788-2788
(subclass Hydrometer MeasuringDevice) Cars.kif 3046-3046
(subclass MassAirflowSensor MeasuringDevice) Cars.kif 3297-3297
(subclass OxygenSensor MeasuringDevice) Cars.kif 3335-3335
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2869-2869
(subclass Tachometer MeasuringDevice) Cars.kif 4017-4017
(subclass TestForm MeasuringDevice) Mid-level-ontology.kif 13956-13956
(subclass Thermometer MeasuringDevice) Mid-level-ontology.kif 2857-2857
(subclass TorqueWrench MeasuringDevice) Cars.kif 4142-4142
(subclass VacuumGauge MeasuringDevice) Cars.kif 4241-4241
(termFormat ChineseLanguage MeasuringDevice "测量工具") domainEnglishFormat.kif 36672-36672
(termFormat ChineseTraditionalLanguage MeasuringDevice "測量工具") domainEnglishFormat.kif 36671-36671
(termFormat EnglishLanguage MeasuringDevice "measuring device") domainEnglishFormat.kif 36670-36670

appearance as argument number 3

(domain measurementReading 1 MeasuringDevice) Mid-level-ontology.kif 2887-2887


    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))
Merge.kif 15722-15728

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