Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
BeaufortNumber0
BeaufortNumber1
BeaufortNumber10
BeaufortNumber11
BeaufortNumber12
BeaufortNumber2
BeaufortNumber3
BeaufortNumber4
BeaufortNumber5
BeaufortNumber6
BeaufortNumber7
BeaufortNumber8
BeaufortNumber9
BeaufortNumberAttribute
ChineseLanguage
ChineseLanguge
ChineseTraditionalLanguage
ChinesehLanguage
Chineselanguage
EnglishLanguage
Englishlanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SpeedScaleAttribute
SwedishLanguage
speedScaleAttributeMinMax
windDrivenMotion
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
ExhaustManifold
Sigma KEE - ExhaustManifold
ExhaustManifold
(exhaust manifold)
exhaust_manifold
appearance as argument number 1
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2606-2609
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2604-2604
Exhaust manifold
is a
subclass
of
device
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2611-2611
A
exhaust manifold
is
typically
a
part
of a
exhaust system
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2612-2612
A
exhaust system
typically
has a
part
exhaust manifold
appearance as argument number 2
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2605-2605
No TPTP formula. May not be expressible in strict first order.
Cars.kif 3259-3259
A
manifold absolute pressure sensor
is
typically
a
part
of a
exhaust manifold
antecedent
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2632-2641
If
an object
is an
instance
of
exhaust manifold
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of
tube
and
the third object
is an
instance
of
tube
and
the other object
is not
equal
to
the third object
and
the other object
is a
part
of
the object
and
the third object
is a
part
of
the object
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2614-2630
If
a physical
is an
instance
of
exhaust manifold
,
then
the physical
purpose there exist
an entity
,
another entity
,, ,
a third entity
,, ,
a fourth entity
and
a fifth entity
such that
the entity
is an
instance
of
automobile
and
the other entity
is an
instance
of
exhaust
and
the third entity
is an
instance
of
EngineCylinder
and
the fourth entity
is an
instance
of
muffler
and
the fifth entity
is an
instance
of
transfer
and
the physical
is a
part
of
the entity
and
the third entity
is a
part
of
the entity
and
the fourth entity
is a
part
of
the entity
and
the fifth entity
originate
s at
the third entity
and
the fifth entity
end
s up at
the fourth entity
and
the other entity
is a
patient
of
the fifth entity
and
the other entity
is an
instrument
for
the fifth entity
consequent
No TPTP formula. May not be expressible in strict first order.
Cars.kif 2660-2666
If
a physical
is an
instance
of
exhaust valve
,
then
the physical
purpose there exists
an entity
such that
the entity
is an
instance
of
exhaust manifold
and
the physical
is
connected
to
the entity
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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