MeasuringDevice - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3628-3629
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16162-16163
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 1176-1176
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16161-16161	Measuring device is a subclass of device

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	MilitaryDevices.kif 1420-1420	Altimeter is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 2751-2751	Antigen COVID test is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4124-4124	Bi_metal temperature sensor is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3344-3344	Clock is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2772-2772	Feeler gauge is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 4465-4465	Fitbit is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3105-3105	Hydrometer is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3358-3358	Mass airflow sensor is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 2964-2964	Odometer is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3396-3396	Oxygen sensor is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3380-3380	Pressure measuring device is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1552-1552	Reverse transcription polymerase chain reaction is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Medicine.kif 1692-1692	Snellen chart is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 3013-3013	Speedometer is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4075-4075	Tachometer is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15879-15879	Test form is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 3368-3368	Thermometer is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4200-4200	Torque wrench is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	Cars.kif 4299-4299	Vacuum gauge is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36715-36715	Vacuum gauge is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36714-36714	Vacuum gauge is a subclass of measuring device
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36713-36713	Vacuum gauge is a subclass of measuring device

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 3398-3398

The number 1 argument of measurement reading is an instance of measuring device

antecedent

No TPTP formula. May not be expressible in strict first order.	Cars.kif 3004-3011	If a measuring device is an instance of measuring device and reset measuring device is an attribute of the measuring device, then 0 an unit of measure(s) is a measurement reading of the measuring device and the unit of measure is an instance of unit of measure
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16165-16171	If a physical is an instance of measuring device, then the physical has the purpose there exists an entity such that the entity is an instance of measuring and the physical is an instrument for the entity

consequent

No TPTP formula. May not be expressible in strict first order.

Communications.kif 316-334

If a process is an instance of telemetry,
then there exist an object, an agent,, , another object,, , a physical,, , another process and a third process such that the other process is an instance of measuring and the agent is an instance of measuring device and the object is an instance of region and the other object is an instance of region and the third process is an instance of messaging and the third process is a subprocess of the process and the other process is a subprocess of the process and the physical is an instance of electronic data storage device and the agent is an agent of the other process and the agent is located at the object and the physical is located at the other object and the other process is located at the object and the other object is not equal to the object and the third process originates at the agent and the third process ends up at the physical

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: