Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
| 
LogLearn
| ]
KB:
SUMO
Language:
Anisocoria
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishGroupLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
JapaneseLanguage
MechanicalAnisocoria
PhysiologicalAnisocoria
SpanishLanguage
SwedishLanguage
expectedYearOfGraduation
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - ChevroletEngine
ChevroletEngine
(Chevrolet engine)
appearance as argument number 1
(
subclass
ChevroletEngine
IntermittentCombustionEngine
)
Cars.kif 5047-5047
Chevrolet engine
is a
subclass
of
intermittent combustion engine
(
typicalPart
ChevroletEngine
ChevroletAutomobile
)
Cars.kif 5048-5048
A
Chevrolet engine
is
typically
a
part
of a
Chevrolet automobile
(
typicallyContainsPart
ChevroletEngine
ChevroletAutomobile
)
Cars.kif 5049-5049
A
Chevrolet automobile
typically
has a
part
Chevrolet engine
appearance as argument number 2
(
subclass
Chevrolet350Engine
ChevroletEngine
)
Cars.kif 5051-5051
Chevrolet350 engine
is a
subclass
of
Chevrolet engine
(
termFormat
EnglishLanguage
ChevroletEngine
"Chevrolet engine")
domainEnglishFormat.kif 64628-64628
Chevrolet350 engine
is a
subclass
of
Chevrolet engine
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