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 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 MeasuringDevice est une sous-classe de appareil

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


(subclass Altimeter MeasuringDevice) MilitaryDevices.kif 1420-1420 Altimeter est une sous-classe de MeasuringDevice
(subclass AntibodyCOVIDTest MeasuringDevice) Medicine.kif 2750-2750 AntibodyCOVIDTest est une sous-classe de MeasuringDevice
(subclass BimetalTemperatureSensor MeasuringDevice) Cars.kif 4063-4063 BimetalTemperatureSensor est une sous-classe de MeasuringDevice
(subclass Clock MeasuringDevice) Mid-level-ontology.kif 2882-2882 Clock est une sous-classe de MeasuringDevice
(subclass FeelerGauge MeasuringDevice) Cars.kif 2788-2788 FeelerGauge est une sous-classe de MeasuringDevice
(subclass FitbitDevice MeasuringDevice) Medicine.kif 4458-4458 FitbitDevice est une sous-classe de MeasuringDevice
(subclass Hydrometer MeasuringDevice) Cars.kif 3046-3046 Hydrometer est une sous-classe de MeasuringDevice
(subclass MassAirflowSensor MeasuringDevice) Cars.kif 3297-3297 MassAirflowSensor est une sous-classe de MeasuringDevice
(subclass OxygenSensor MeasuringDevice) Cars.kif 3335-3335 OxygenSensor est une sous-classe de MeasuringDevice
(subclass PressureMeasuringDevice MeasuringDevice) Mid-level-ontology.kif 2918-2918 PressureMeasuringDevice est une sous-classe de MeasuringDevice
(subclass RTPCRTest MeasuringDevice) Medicine.kif 1559-1559 RTPCRTest est une sous-classe de MeasuringDevice
(subclass SnellenChart MeasuringDevice) Medicine.kif 1699-1699 SnellenChart est une sous-classe de MeasuringDevice
(subclass Tachometer MeasuringDevice) Cars.kif 4014-4014 Tachometer est une sous-classe de MeasuringDevice
(subclass TestForm MeasuringDevice) Mid-level-ontology.kif 14490-14490 TestForm est une sous-classe de MeasuringDevice
(subclass Thermometer MeasuringDevice) Mid-level-ontology.kif 2906-2906 Thermometer est une sous-classe de MeasuringDevice
(subclass TorqueWrench MeasuringDevice) Cars.kif 4139-4139 TorqueWrench est une sous-classe de MeasuringDevice
(subclass VacuumGauge MeasuringDevice) Cars.kif 4238-4238 VacuumGauge est une sous-classe de MeasuringDevice
(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 Le nombre 1 argument de measurementReading est une instance de MeasuringDevice

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


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


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