Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
|
Editor
| ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
measuringListInterval
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
engineDisplacement
Sigma KEE - engineDisplacement
engineDisplacement
appearance as argument number 1
(
instance
engineDisplacement
BinaryPredicate
)
Cars.kif 4867-4867
engine displacement
is an
instance
of
binary predicate
(
domain
engineDisplacement
1
IntermittentCombustionEngine
)
Cars.kif 4868-4868
The number 1 argument of
engine displacement
is an
instance
of
intermittent combustion engine
(
domain
engineDisplacement
2
VolumeMeasure
)
Cars.kif 4869-4869
The number 2 argument of
engine displacement
is an
instance
of
volume measure
(
documentation
engineDisplacement
EnglishLanguage
"The total
VolumeMeasure
of all the
EngineCylinder
s.")
Cars.kif 4870-4871
The number 2 argument of
engine displacement
is an
instance
of
volume measure
appearance as argument number 2
(
format
EnglishLanguage
engineDisplacement
"the displacement of %1 is %2")
domainEnglishFormat.kif 3296-3296
(
format
ChineseTraditionalLanguage
engineDisplacement
"%1 的 displacement 是 %2 ")
domainEnglishFormat.kif 3297-3297
(
format
ChineseLanguage
engineDisplacement
"%1 的 displacement 是 %2 ")
domainEnglishFormat.kif 3298-3298
(
termFormat
EnglishLanguage
engineDisplacement
"engine displacement")
domainEnglishFormat.kif 65832-65832
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.0-
0a80e6c8
(2026-05-12) is
open source software
produced by
Articulate Software
and its partners