Term Intersection
: 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
Term 1:
Term 2:
(
subclass
StateChange
InternalChange
)
Merge.kif 13774-13774
Mudanca de Estado
e' uma
sub
-classe de
Mudanca Interna
(
subclass
Clotting
StateChange
)
Mid-level-ontology.kif 10487-10487
Clotting
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Melting
StateChange
)
Merge.kif 13923-13923
Derreter
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Boiling
StateChange
)
Merge.kif 13944-13944
Ferver
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Evaporating
StateChange
)
Merge.kif 13969-13969
Evaporating
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Condensing
StateChange
)
Merge.kif 13990-13990
Condensar
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Freezing
StateChange
)
Merge.kif 14011-14011
Congelar
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Deposition
StateChange
)
Geography.kif 6991-6991
Deposition
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Sublimation
StateChange
)
Geography.kif 7041-7041
Sublimation
e' uma
sub
-classe de
Mudanca de Estado
(
subclass
Curdling
StateChange
)
Food.kif 3179-3179
Curdling
e' uma
sub
-classe de
Mudanca de Estado
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