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
MeasuringDevice
è una
sottoclasse
di
Dispositivo
(
subclass
Altimeter
MeasuringDevice
)
MilitaryDevices.kif 1420-1420
Altimeter
è una
sottoclasse
di
MeasuringDevice
(
subclass
Clock
MeasuringDevice
)
Mid-level-ontology.kif 2882-2882
Clock
è una
sottoclasse
di
MeasuringDevice
(
subclass
Thermometer
MeasuringDevice
)
Mid-level-ontology.kif 2906-2906
Thermometer
è una
sottoclasse
di
MeasuringDevice
(
subclass
PressureMeasuringDevice
MeasuringDevice
)
Mid-level-ontology.kif 2918-2918
PressureMeasuringDevice
è una
sottoclasse
di
MeasuringDevice
(
subclass
TestForm
MeasuringDevice
)
Mid-level-ontology.kif 14489-14489
TestForm
è una
sottoclasse
di
MeasuringDevice
(
subclass
RTPCRTest
MeasuringDevice
)
Medicine.kif 1559-1559
RTPCRTest
è una
sottoclasse
di
MeasuringDevice
(
subclass
SnellenChart
MeasuringDevice
)
Medicine.kif 1699-1699
SnellenChart
è una
sottoclasse
di
MeasuringDevice
(
subclass
AntibodyCOVIDTest
MeasuringDevice
)
Medicine.kif 2750-2750
AntibodyCOVIDTest
è una
sottoclasse
di
MeasuringDevice
(
subclass
FitbitDevice
MeasuringDevice
)
Medicine.kif 4458-4458
FitbitDevice
è una
sottoclasse
di
MeasuringDevice
(
subclass
FeelerGauge
MeasuringDevice
)
Cars.kif 2794-2794
FeelerGauge
è una
sottoclasse
di
MeasuringDevice
(
subclass
Hydrometer
MeasuringDevice
)
Cars.kif 3052-3052
Hydrometer
è una
sottoclasse
di
MeasuringDevice
(
subclass
MassAirflowSensor
MeasuringDevice
)
Cars.kif 3305-3305
MassAirflowSensor
è una
sottoclasse
di
MeasuringDevice
(
subclass
OxygenSensor
MeasuringDevice
)
Cars.kif 3343-3343
OxygenSensor
è una
sottoclasse
di
MeasuringDevice
(
subclass
Tachometer
MeasuringDevice
)
Cars.kif 4022-4022
Tachometer
è una
sottoclasse
di
MeasuringDevice
(
subclass
BimetalTemperatureSensor
MeasuringDevice
)
Cars.kif 4071-4071
BimetalTemperatureSensor
è una
sottoclasse
di
MeasuringDevice
(
subclass
TorqueWrench
MeasuringDevice
)
Cars.kif 4147-4147
TorqueWrench
è una
sottoclasse
di
MeasuringDevice
(
subclass
VacuumGauge
MeasuringDevice
)
Cars.kif 4246-4246
VacuumGauge
è una
sottoclasse
di
MeasuringDevice
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