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

Formal Language: 



KB Term:  Term intersection
English Word: 

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

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


(subclass Altimeter MeasuringDevice) MilitaryDevices.kif 1420-1420
(subclass AntibodyCOVIDTest MeasuringDevice) Medicine.kif 2750-2750
(subclass BimetalTemperatureSensor MeasuringDevice) Cars.kif 4123-4123
(subclass Clock MeasuringDevice) Mid-level-ontology.kif 2875-2875
(subclass FeelerGauge MeasuringDevice) Cars.kif 2771-2771
(subclass FitbitDevice MeasuringDevice) Medicine.kif 4458-4458
(subclass Hydrometer MeasuringDevice) Cars.kif 3104-3104
(subclass MassAirflowSensor MeasuringDevice) Cars.kif 3357-3357
(subclass Odometer MeasuringDevice) Cars.kif 2963-2963
(subclass OxygenSensor MeasuringDevice) Cars.kif 3395-3395
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2911-2911
(subclass RTPCRTest MeasuringDevice) Medicine.kif 1559-1559
(subclass SnellenChart MeasuringDevice) Medicine.kif 1699-1699
(subclass Speedometer MeasuringDevice) Cars.kif 3012-3012
(subclass Tachometer MeasuringDevice) Cars.kif 4074-4074
(subclass TestForm MeasuringDevice) Mid-level-ontology.kif 14708-14708
(subclass Thermometer MeasuringDevice) Mid-level-ontology.kif 2899-2899
(subclass TorqueWrench MeasuringDevice) Cars.kif 4199-4199
(subclass VacuumGauge MeasuringDevice) Cars.kif 4298-4298
(termFormat ChineseLanguage MeasuringDevice "测量工具") domainEnglishFormat.kif 36718-36718
(termFormat ChineseTraditionalLanguage MeasuringDevice "測量工具") domainEnglishFormat.kif 36717-36717
(termFormat EnglishLanguage MeasuringDevice "measuring device") domainEnglishFormat.kif 36716-36716

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


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

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


(=>
    (and
        (instance ?X MeasuringDevice)
        (attribute ?X ResetMeasuringDevice))
    (and
        (measurementReading ?X
            (MeasureFn 0 ?U))
        (instance ?U UnitOfMeasure)))		 Cars.kif 3003-3010
(=>
    (instance ?DEVICE MeasuringDevice)
    (hasPurpose ?DEVICE
        (exists (?MEASURE)
            (and
                (instance ?MEASURE Measuring)
                (instrument ?MEASURE ?DEVICE)))))		 Merge.kif 16076-16082


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