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
Valve
EngineeringComponent
)
engineering.kif 912-912
Valve
is a
subclass
of
engineering component
(
subclass
Valve
FluidPowerDevice
)
engineering.kif 913-913
Valve
is a
subclass
of
fluid power device
(
subclass
SalineLock
Valve
)
Medicine.kif 1099-1099
Saline lock
is a
subclass
of
valve
(
subclass
DirectionalControlValve
Valve
)
engineering.kif 957-957
Directional control valve
is a
subclass
of
valve
(
subclass
PressureControlValve
Valve
)
engineering.kif 966-966
Pressure control valve
is a
subclass
of
valve
(
subclass
VolumeControlValve
Valve
)
engineering.kif 976-976
Volume control valve
is a
subclass
of
valve
(
subclass
BleederValve
Valve
)
Cars.kif 1546-1546
Bleeder valve
is a
subclass
of
valve
(
subclass
ExhaustValve
Valve
)
Cars.kif 2658-2658
Exhaust valve
is a
subclass
of
valve
(
subclass
IntakeValve
Valve
)
Cars.kif 2683-2683
Intake valve
is a
subclass
of
valve
(
subclass
ManifoldHeatControlValve
Valve
)
Cars.kif 3255-3255
Manifold heat control valve
is a
subclass
of
valve
(
subclass
PositiveCrankcaseVentilationValve
Valve
)
Cars.kif 3811-3811
Positive crankcase ventilation valve
is a
subclass
of
valve
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
