Term Intersection
: Welcome guest :
log in
[
Home
|
Graph
| ]
KB:
SUMO
Language:
ChineseLanguage
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
Term 1:
Term 2:
(
subclass
PhysicalSystem
Physical
)
Merge.kif 5772-5772
Physical system
is a
subclass
of
physical
(
subclass
TransitSystem
PhysicalSystem
)
Transportation.kif 2799-2799
Transit system
is a
subclass
of
physical system
(
subclass
AutoSuspensionSystem
PhysicalSystem
)
Cars.kif 717-717
Auto suspension system
is a
subclass
of
physical system
(
subclass
Automobile
PhysicalSystem
)
Cars.kif 827-827
Automobile
is a
subclass
of
physical system
(
subclass
BrakeSystem
PhysicalSystem
)
Cars.kif 1235-1235
Brake system
is a
subclass
of
physical system
(
subclass
HydraulicCylinder
PhysicalSystem
)
Cars.kif 1594-1594
Hydraulic cylinder
is a
subclass
of
physical system
(
subclass
EngineCoolingSystem
PhysicalSystem
)
Cars.kif 2122-2122
Engine cooling system
is a
subclass
of
physical system
(
subclass
AutomobileExhaustSystem
PhysicalSystem
)
Cars.kif 2590-2590
Exhaust system
is a
subclass
of
physical system
(
subclass
AutomobileIgnitionSystem
PhysicalSystem
)
Cars.kif 3170-3170
Automobile ignition system
is a
subclass
of
physical system
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners
