Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
MeasuringDevice
Device
)
Merge.kif 16022-16022
Measuring device
is a
subclass
of
device
(
subclass
Altimeter
MeasuringDevice
)
MilitaryDevices.kif 1420-1420
Altimeter
is a
subclass
of
measuring device
(
subclass
Clock
MeasuringDevice
)
Mid-level-ontology.kif 2882-2882
Clock
is a
subclass
of
measuring device
(
subclass
Thermometer
MeasuringDevice
)
Mid-level-ontology.kif 2906-2906
Thermometer
is a
subclass
of
measuring device
(
subclass
PressureMeasuringDevice
MeasuringDevice
)
Mid-level-ontology.kif 2918-2918
Pressure measuring device
is a
subclass
of
measuring device
(
subclass
TestForm
MeasuringDevice
)
Mid-level-ontology.kif 14489-14489
Test form
is a
subclass
of
measuring device
(
subclass
RTPCRTest
MeasuringDevice
)
Medicine.kif 1559-1559
Reverse transcription polymerase chain reaction
is a
subclass
of
measuring device
(
subclass
SnellenChart
MeasuringDevice
)
Medicine.kif 1699-1699
Snellen chart
is a
subclass
of
measuring device
(
subclass
AntibodyCOVIDTest
MeasuringDevice
)
Medicine.kif 2750-2750
Antigen COVID test
is a
subclass
of
measuring device
(
subclass
FitbitDevice
MeasuringDevice
)
Medicine.kif 4458-4458
Fitbit
is a
subclass
of
measuring device
(
subclass
FeelerGauge
MeasuringDevice
)
Cars.kif 2794-2794
Feeler gauge
is a
subclass
of
measuring device
(
subclass
Hydrometer
MeasuringDevice
)
Cars.kif 3052-3052
Hydrometer
is a
subclass
of
measuring device
(
subclass
MassAirflowSensor
MeasuringDevice
)
Cars.kif 3305-3305
Mass airflow sensor
is a
subclass
of
measuring device
(
subclass
OxygenSensor
MeasuringDevice
)
Cars.kif 3343-3343
Oxygen sensor
is a
subclass
of
measuring device
(
subclass
Tachometer
MeasuringDevice
)
Cars.kif 4022-4022
Tachometer
is a
subclass
of
measuring device
(
subclass
BimetalTemperatureSensor
MeasuringDevice
)
Cars.kif 4071-4071
Bi-metal temperature sensor
is a
subclass
of
measuring device
(
subclass
TorqueWrench
MeasuringDevice
)
Cars.kif 4147-4147
Torque wrench
is a
subclass
of
measuring device
(
subclass
VacuumGauge
MeasuringDevice
)
Cars.kif 4246-4246
Vacuum gauge
is a
subclass
of
measuring device
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
