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 16000-16000
测量工具
是
设备
的
subclass
(
subclass
Altimeter
MeasuringDevice
)
MilitaryDevices.kif 1420-1420
高度表
是
测量工具
的
subclass
(
subclass
Clock
MeasuringDevice
)
Mid-level-ontology.kif 2882-2882
时钟
是
测量工具
的
subclass
(
subclass
Thermometer
MeasuringDevice
)
Mid-level-ontology.kif 2906-2906
温度计
是
测量工具
的
subclass
(
subclass
PressureMeasuringDevice
MeasuringDevice
)
Mid-level-ontology.kif 2918-2918
压力测量装置
是
测量工具
的
subclass
(
subclass
TestForm
MeasuringDevice
)
Mid-level-ontology.kif 14490-14490
测试表格
是
测量工具
的
subclass
(
subclass
RTPCRTest
MeasuringDevice
)
Medicine.kif 1559-1559
RTPCRTest
是
测量工具
的
subclass
(
subclass
SnellenChart
MeasuringDevice
)
Medicine.kif 1699-1699
SnellenChart
是
测量工具
的
subclass
(
subclass
AntibodyCOVIDTest
MeasuringDevice
)
Medicine.kif 2750-2750
AntibodyCOVIDTest
是
测量工具
的
subclass
(
subclass
FitbitDevice
MeasuringDevice
)
Medicine.kif 4458-4458
FitbitDevice
是
测量工具
的
subclass
(
subclass
FeelerGauge
MeasuringDevice
)
Cars.kif 2788-2788
FeelerGauge
是
测量工具
的
subclass
(
subclass
Hydrometer
MeasuringDevice
)
Cars.kif 3046-3046
Hydrometer
是
测量工具
的
subclass
(
subclass
MassAirflowSensor
MeasuringDevice
)
Cars.kif 3297-3297
MassAirflowSensor
是
测量工具
的
subclass
(
subclass
OxygenSensor
MeasuringDevice
)
Cars.kif 3335-3335
OxygenSensor
是
测量工具
的
subclass
(
subclass
Tachometer
MeasuringDevice
)
Cars.kif 4014-4014
Tachometer
是
测量工具
的
subclass
(
subclass
BimetalTemperatureSensor
MeasuringDevice
)
Cars.kif 4063-4063
BimetalTemperatureSensor
是
测量工具
的
subclass
(
subclass
TorqueWrench
MeasuringDevice
)
Cars.kif 4139-4139
TorqueWrench
是
测量工具
的
subclass
(
subclass
VacuumGauge
MeasuringDevice
)
Cars.kif 4238-4238
VacuumGauge
是
测量工具
的
subclass
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