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 - MajorAppliance
MajorAppliance
(major appliance)
kitchen_appliance
,
white_goods
appearance as argument number 1
(
subclass
MajorAppliance
Device
)
Mid-level-ontology.kif 2271-2271
Major appliance
is a
subclass
of
device
appearance as argument number 2
(
subclass
ClothesDryer
MajorAppliance
)
Mid-level-ontology.kif 2279-2279
Clothes dryer
is a
subclass
of
major appliance
(
subclass
ClothesWashingMachine
MajorAppliance
)
Mid-level-ontology.kif 2278-2278
Clothes washing machine
is a
subclass
of
major appliance
(
subclass
Dishwasher
MajorAppliance
)
Mid-level-ontology.kif 2280-2280
Dishwasher
is a
subclass
of
major appliance
(
subclass
Freezer
MajorAppliance
)
Mid-level-ontology.kif 2274-2274
Freezer
is a
subclass
of
major appliance
(
subclass
HotWaterHeater
MajorAppliance
)
Mid-level-ontology.kif 2277-2277
Hot water heater
is a
subclass
of
major appliance
(
subclass
Oven
MajorAppliance
)
Mid-level-ontology.kif 2276-2276
Oven
is a
subclass
of
major appliance
(
subclass
Refrigerator
MajorAppliance
)
Mid-level-ontology.kif 2273-2273
Refrigerator
is a
subclass
of
major appliance
(
subclass
Stove
MajorAppliance
)
Mid-level-ontology.kif 2275-2275
Stove
is a
subclass
of
major appliance
(
termFormat
ChineseLanguage
MajorAppliance
"主要电器")
domainEnglishFormat.kif 35705-35705
(
termFormat
ChineseTraditionalLanguage
MajorAppliance
"主要電器")
domainEnglishFormat.kif 35704-35704
(
termFormat
EnglishLanguage
MajorAppliance
"major appliance")
domainEnglishFormat.kif 35703-35703
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