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
pistonStroke
Sigma KEE - pistonStroke
pistonStroke
appearance as argument number 1
(
documentation
pistonStroke
EnglishLanguage
"The maximum
distance
that a piston travels during normal operation of the
Engine
.")
Cars.kif 1946-1947
(
domain
pistonStroke
1
Engine
)
Cars.kif 1942-1942
Il numero 1 argomenti di
pistonStroke
è un
istanza
di
Engine
(
domain
pistonStroke
2
LengthMeasure
)
Cars.kif 1943-1943
Il numero 2 argomenti di
pistonStroke
è un
istanza
di
MisuraDiLunghezza
(
instance
pistonStroke
BinaryPredicate
)
Cars.kif 1941-1941
pistonStroke
è un'
istanza
di
PredicatoBinario
appearance as argument number 2
(
format
EnglishLanguage
pistonStroke
"the maximum distance that the pistons of engine %1 travel is %n %2")
Cars.kif 1944-1945
(
termFormat
EnglishLanguage
pistonStroke
"piston stroke")
domainEnglishFormat.kif 65900-65900
antecedent
(=>
(
and
(
instance
?EC
EngineCycle
)
(
instance
?E
InternalCombustionEngine
)
(
instance
?P
Piston
)
(
instance
?U
UnitOfLength
)
(
part
?P ?E)
(
patient
?EC ?P)
(
eventLocated
?EC ?E)
(
pistonStroke
?E
(
MeasureFn
?LM ?U)))
(
not
(
exists
(?T1 ?T2 ?L1 ?L2 ?D)
(
and
(
during
?T1
(
WhenFn
?EC))
(
during
?T2
(
WhenFn
?EC))
(
holdsDuring
?T1
(
located
?P ?L1))
(
holdsDuring
?T2
(
located
?P ?L2))
(
distance
?L1 ?L2
(
MeasureFn
?D ?U))
(
greaterThan
?D ?LM)))))
Cars.kif 1949-1971
Processo
è un'
istanza
di
EngineCycle
Engine
è un'
istanza
di
InternalCombustionEngine
Oggetto
è un'
istanza
di
Piston
Unit�DiMisura
è un'
istanza
di
UnitOfLength
Oggetto
è una
parte
di
Engine
Oggetto
è un
paziente
di
Processo
eventLocated
Processo
and
Engine
pistonStroke
Engine
and
NumeroReale
Unit�DiMisura
(s
IntervalloTemporale
IntervalloTemporale
,
Entit�Concreta
,
Entit�Concreta
and
NumeroReale
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
IntervalloTemporale
has luogo
durante
il
tempo
di esistenza di
Processo
Oggetto
è
localizzato
in
Entit�Concreta
vales
durante
IntervalloTemporale
Oggetto
è
localizzato
in
Entit�Concreta
vales
durante
IntervalloTemporale
la
distanza
tra
Entit�Concreta
e
Entit�Concreta
è
NumeroReale
Unit�DiMisura
(s
NumeroReale
è
pi
ù grande di
NumeroReale
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