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:
(=>
(
and
(
sheddingLeaves
?T ?L)
(
instance
?T
DeciduousTree
)
(
instance
?L
PlantLeaf
))
(
exists
(?SHED ?S)
(
and
(
subclass
?SHED
Removing
)
(
frequency
?SHED
YearDuration
)
(
instance
?S ?SHED)
(
origin
?S ?T)
(
patient
?S ?L))))
Geography.kif 6393-6404
sheddingLeaves
Planta
and
PlantLeaf
Planta
e' uma
instancia
de
DeciduousTree
PlantLeaf
e' uma
instancia
de
PlantLeaf
Processo
Processo
Processo
e' uma
sub
-classe de
Remover
Processo
ocorre
todos os
YearDuration
Processo
e' uma
instancia
de
Processo
Processo
tem como
origem
Planta
PlantLeaf
e' um
patient
de
Processo
(=>
(
and
(
instance
?P
Plant
)
(
part
?TIS ?P))
(
exists
(?K ?W ?CLASS)
(
and
(
instance
?K ?CLASS)
(
subclass
?CLASS
Keeping
)
(
instance
?W
FreshWater
)
(
patient
?K ?W)
(
capability
?CLASS
instrument
?TIS)
(
or
(
instance
?TIS
PlantLeaf
)
(
instance
?TIS
PlantStem
)))))
Mid-level-ontology.kif 9560-9573
Objeto
e' uma
instancia
de
Planta
Objeto
e' uma &parte de
Objeto
Processo
Entidade
and
Processo
Processo
e' uma
instancia
de
Processo
Processo
e' uma
sub
-classe de
Manter
Entidade
e' uma
instancia
de
FreshWater
Entidade
e' um
patient
de
Processo
Objeto
e'
capaz
de fazer
Processo
no role
instrument
Objeto
e' uma
instancia
de
PlantLeaf
Objeto
e' uma
instancia
de
PlantStem
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Objeto
e' uma
sub
-classe de
PlantLeaf
Objeto
e'
igual
a
LeafyGreenVegetable
initialPart
Objeto
and
Planta
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Objeto
e' uma
sub
-classe de
PlantLeaf
Objeto
e'
igual
a
Cabbage
initialPart
Objeto
and
CabbagePlant
(
subclass
PlantLeaf
PlantAnatomicalStructure
)
Mid-level-ontology.kif 9467-9467
PlantLeaf
e' uma
sub
-classe de
PlantAnatomicalStructure
(
subclass
PlantLeaf
Organ
)
Mid-level-ontology.kif 9468-9468
PlantLeaf
e' uma
sub
-classe de
Orgao
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