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:
(=>
(
instance
?X
FoodFromPlant
)
(
exists
(?P ?CLASS)
(
and
(
instance
?P
(
DeadFn
?CLASS))
(
part
?X ?P)
(
subclass
?CLASS
Plant
))))
Food.kif 299-306
Objeto
e' uma
instancia
de
FoodFromPlant
Objeto
Objeto Organico
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto Organico
e' uma
sub
-classe de
Planta
(=>
(
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 9561-9574
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
(
vegetationType
?REGION ?TYPE)
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION))))
Geography.kif 6191-6199
vegetationType
Area Geografica
and
Planta
Planta
e' uma
sub
-classe de
Planta
Area Geografica
e' uma
instancia
de
Area Geografica
Fisico
Fisico
e' uma
instancia
de
Planta
Fisico
e'
situado
em
Area Geografica
(=>
(
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
(
not
(
vegetationType
?REGION ?TYPE))
(
subclass
?TYPE
Plant
)
(
instance
?REGION
GeographicArea
))
(
not
(
exists
(?PLANT)
(
and
(
instance
?PLANT ?TYPE)
(
located
?PLANT ?REGION)))))
Geography.kif 6201-6209
vegetationType
Area Geografica
and
Planta
Planta
e' uma
sub
-classe de
Planta
Area Geografica
e' uma
instancia
de
Area Geografica
Fisico
Fisico
e' uma
instancia
de
Planta
Fisico
e'
situado
em
Area Geografica
(
subclass
Plant
Organism
)
Merge.kif 14399-14399
Planta
e' uma
sub
-classe de
Organismo
(
subclass
FloweringPlant
Plant
)
Merge.kif 14404-14404
Planta Florindo
e' uma
sub
-classe de
Planta
(
subclass
NonFloweringPlant
Plant
)
Merge.kif 14408-14408
Planta sem flores
e' uma
sub
-classe de
Planta
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