MeasuringDevice - Sigma Knowledge base Browser

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 16162-16163
(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 16161-16161

appearance as argument number 2

(subclass Altimeter MeasuringDevice)	MilitaryDevices.kif 1420-1420
(subclass AntibodyCOVIDTest MeasuringDevice)	Medicine.kif 2751-2751
(subclass BimetalTemperatureSensor MeasuringDevice)	Cars.kif 4124-4124
(subclass Clock MeasuringDevice)	Mid-level-ontology.kif 3344-3344
(subclass FeelerGauge MeasuringDevice)	Cars.kif 2772-2772
(subclass FitbitDevice MeasuringDevice)	Medicine.kif 4465-4465
(subclass Hydrometer MeasuringDevice)	Cars.kif 3105-3105
(subclass MassAirflowSensor MeasuringDevice)	Cars.kif 3358-3358
(subclass Odometer MeasuringDevice)	Cars.kif 2964-2964
(subclass OxygenSensor MeasuringDevice)	Cars.kif 3396-3396
(subclass PressureMeasuringDevice MeasuringDevice)	Mid-level-ontology.kif 3380-3380
(subclass RTPCRTest MeasuringDevice)	Medicine.kif 1552-1552
(subclass SnellenChart MeasuringDevice)	Medicine.kif 1692-1692
(subclass Speedometer MeasuringDevice)	Cars.kif 3013-3013
(subclass Tachometer MeasuringDevice)	Cars.kif 4075-4075
(subclass TestForm MeasuringDevice)	Mid-level-ontology.kif 15879-15879
(subclass Thermometer MeasuringDevice)	Mid-level-ontology.kif 3368-3368
(subclass TorqueWrench MeasuringDevice)	Cars.kif 4200-4200
(subclass VacuumGauge MeasuringDevice)	Cars.kif 4299-4299
(termFormat ChineseLanguage MeasuringDevice "测量工具")	domainEnglishFormat.kif 36715-36715
(termFormat ChineseTraditionalLanguage MeasuringDevice "測量工具")	domainEnglishFormat.kif 36714-36714
(termFormat EnglishLanguage MeasuringDevice "measuring device")	domainEnglishFormat.kif 36713-36713

appearance as argument number 3

(domain measurementReading 1 MeasuringDevice)

Mid-level-ontology.kif 3398-3398

antecedent

(=> (and (instance ?X MeasuringDevice) (attribute ?X ResetMeasuringDevice)) (and (measurementReading ?X (MeasureFn 0 ?U)) (instance ?U UnitOfMeasure)))	Cars.kif 3004-3011
(=> (instance ?DEVICE MeasuringDevice) (hasPurpose ?DEVICE (exists (?MEASURE) (and (instance ?MEASURE Measuring) (instrument ?MEASURE ?DEVICE)))))	Merge.kif 16165-16171

consequent

(=>
    (instance ?T Telemetry)
    (exists (?REMOTELOCATION ?MEASURINGDEVICE ?RECEIVINGLOCATION ?RECEIVINGSTATION ?MEASURING ?MESSAGING)
        (and
            (instance ?MEASURING Measuring)
            (instance ?MEASURINGDEVICE MeasuringDevice)
            (instance ?REMOTELOCATION Region)
            (instance ?RECEIVINGLOCATION Region)
            (instance ?MESSAGING Messaging)
            (subProcess ?MESSAGING ?T)
            (subProcess ?MEASURING ?T)
            (instance ?RECEIVINGSTATION ElectronicDataStorageDevice)
            (agent ?MEASURING ?MEASURINGDEVICE)
            (located ?MEASURINGDEVICE ?REMOTELOCATION)
            (located ?RECEIVINGSTATION ?RECEIVINGLOCATION)
            (eventLocated ?MEASURING ?REMOTELOCATION)
            (not
                (equal ?RECEIVINGLOCATION ?REMOTELOCATION))
            (origin ?MESSAGING ?MEASURINGDEVICE)
            (destination ?MESSAGING ?RECEIVINGSTATION))))

Communications.kif 316-334

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

KB Term:			Term intersection

English Word: