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 - TwoStrokeEngineCycle
TwoStrokeEngineCycle
(two stroke engine cycle)
appearance as argument number 1
(
documentation
TwoStrokeEngineCycle
EnglishLanguage
"The
Process
es that occur in a
TwoStrokeEngine
. Such a cycle necessarily includes each instance of one of the strokes, in sequence, followed by another intake stroke.")
Cars.kif 253-255
(
subclass
TwoStrokeEngineCycle
EngineCycle
)
Cars.kif 251-251
Two stroke engine cycle
is a
subclass
of
engine cycle
appearance as argument number 2
(
termFormat
EnglishLanguage
TwoStrokeEngineCycle
"two stroke engine cycle")
Cars.kif 252-252
antecedent
(=>
(
instance
?F
TwoStrokeEngineCycle
)
(
exists
(?E)
(
and
(
instance
?E
TwoStrokeEngine
)
(
eventLocated
?F ?E))))
Cars.kif 257-262
If
a process
is an
instance
of
two stroke engine cycle
,
then there exists
an object
such that
the object
is an
instance
of
two stroke engine
and
the process
is
located
at
the object
(=>
(
instance
?T
TwoStrokeEngineCycle
)
(
exists
(?I ?C ?TT ?I2)
(
and
(
instance
?I
TwoStrokeIntake
)
(
instance
?C
TwoStrokeCompression
)
(
instance
?TT
TwoStrokeTransfer
)
(
instance
?I2
TwoStrokeIntake
)
(
subProcess
?I ?T)
(
subProcess
?C ?T)
(
subProcess
?TT ?T)
(
subProcess
?I2 ?T)
(
meetsTemporally
?I ?C)
(
meetsTemporally
?C ?TT)
(
meetsTemporally
?TT ?I2))))
Cars.kif 264-278
If
a process
is an
instance
of
two stroke engine cycle
,
then there exist
a time interval
,
another time interval
,, ,
the process
T and
the time interval
2 such that
the time interval
is an
instance
of
two stroke intake
and
the other time interval
is an
instance
of
two stroke compression
and
the process
T is an
instance
of
two stroke transfer
and
the time interval
2 is an
instance
of
two stroke intake
and
the time interval
is a
subprocess
of
the process
and
the other time interval
is a
subprocess
of
the process
and
the process
T is a
subprocess
of
the process
and
the time interval
2 is a
subprocess
of
the process
and
the time interval
meet
s
the other time interval
and
the other time interval
meet
s
the process
T and
the process
T
meet
s
the time interval
2
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
