Browsing Interface
: 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
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - EngineChoke
EngineChoke
(engine choke)
automatic_choke
,
choke
appearance as argument number 1
(
documentation
EngineChoke
EnglishLanguage
"A device to restrict the flow of
Air
to an engine, typically when cold, that increases the
Fuel
to
Air
ratio.")
Cars.kif 1311-1312
(
subclass
EngineChoke
Device
)
Cars.kif 1309-1309
Engine choke
is a
subclass
of
device
appearance as argument number 2
(
termFormat
EnglishLanguage
EngineChoke
"engine choke")
Cars.kif 1310-1310
antecedent
(=>
(
and
(
instance
?EC
EngineChoke
)
(
holdsDuring
?FSC1
(
attribute
?EC
DeviceOn
))
(
holdsDuring
?FSC2
(
attribute
?EC
DeviceOff
))
(
instance
?C
EngineCylinder
)
(
capacity
?C ?M)
(
instance
?FSC1
FourStrokeCompression
)
(
instance
?FSC2
FourStrokeCompression
)
(
eventLocated
?FSC1 ?C)
(
eventLocated
?FSC2 ?C)
(
instance
?A1
Air
)
(
instance
?F1
Fuel
)
(
part
?A1 ?MIX1)
(
part
?F1 ?MIX1)
(
measure
?MIX1 ?M)
(
instance
?A2
Air
)
(
instance
?F2
Fuel
)
(
part
?A2 ?MIX2)
(
part
?F2 ?MIX2)
(
measure
?MIX2 ?M)
(
instance
?U
UnitOfMeasure
)
(
measure
?A1
(
MeasureFn
?A1M ?U))
(
measure
?A2
(
MeasureFn
?A2M ?U))
(
measure
?F1
(
MeasureFn
?F1M ?U))
(
measure
?F2
(
MeasureFn
?F2M ?U)))
(
greaterThan
(
DivisionFn
?A2M ?F2M)
(
DivisionFn
?A1M ?F1M)))
Cars.kif 1314-1348
If
an entity
is an
instance
of
engine choke
and
device on
is an
attribute
of
the entity
holds
during
a process
and
device off
is an
attribute
of
the entity
holds
during
another process
and
a self connected object
is an
instance
of
engine cylinder
and
a constant quantity
is a
capacity
of
the self connected object
and
the process
is an
instance
of
four stroke compression
and
the other process
is an
instance
of
four stroke compression
and
the process
is
located
at
the self connected object
and
the other process
is
located
at
the self connected object
and
an object
is an
instance
of
air
and
another object
is an
instance
of
fuel
and
the object
is a
part
of
the constant quantity
IX1 and
the other object
is a
part
of
the constant quantity
IX1 and the
measure
of
the constant quantity
IX1 is
the constant quantity
and
a fourth object
is an
instance
of
air
and
a fifth object
is an
instance
of
fuel
and
the fourth object
is a
part
of
the constant quantity
IX2 and
the fifth object
is a
part
of
the constant quantity
IX2 and the
measure
of
the constant quantity
IX2 is
the constant quantity
and
an unit of measure
is an
instance
of
unit of measure
and the
measure
of
the object
is
the object
M
the unit of measure
(s) and the
measure
of
the fourth object
is
the fourth object
M
the unit of measure
(s) and the
measure
of
the other object
is
the other object
M
the unit of measure
(s) and the
measure
of
the fifth object
is
the fifth object
M
the unit of measure
(s),
then
the fourth object
M and
the fifth object
M is
greater
than
the object
M and
the other object
M
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
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
