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 16072-16072
测量工具
是
设备
的
subclass
(
subclass
Altimeter
MeasuringDevice
)
MilitaryDevices.kif 1420-1420
高度表
是
测量工具
的
subclass
(
subclass
Clock
MeasuringDevice
)
Mid-level-ontology.kif 2875-2875
时钟
是
测量工具
的
subclass
(
subclass
Thermometer
MeasuringDevice
)
Mid-level-ontology.kif 2899-2899
温度计
是
测量工具
的
subclass
(
subclass
PressureMeasuringDevice
MeasuringDevice
)
Mid-level-ontology.kif 2911-2911
压力测量装置
是
测量工具
的
subclass
(
subclass
TestForm
MeasuringDevice
)
Mid-level-ontology.kif 14517-14517
测试表格
是
测量工具
的
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 2771-2771
FeelerGauge
是
测量工具
的
subclass
(
subclass
Hydrometer
MeasuringDevice
)
Cars.kif 3029-3029
Hydrometer
是
测量工具
的
subclass
(
subclass
MassAirflowSensor
MeasuringDevice
)
Cars.kif 3282-3282
MassAirflowSensor
是
测量工具
的
subclass
(
subclass
OxygenSensor
MeasuringDevice
)
Cars.kif 3320-3320
OxygenSensor
是
测量工具
的
subclass
(
subclass
Tachometer
MeasuringDevice
)
Cars.kif 3999-3999
Tachometer
是
测量工具
的
subclass
(
subclass
BimetalTemperatureSensor
MeasuringDevice
)
Cars.kif 4048-4048
BimetalTemperatureSensor
是
测量工具
的
subclass
(
subclass
TorqueWrench
MeasuringDevice
)
Cars.kif 4124-4124
TorqueWrench
是
测量工具
的
subclass
(
subclass
VacuumGauge
MeasuringDevice
)
Cars.kif 4223-4223
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