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
OrganicObjectFn
Sigma KEE - OrganicObjectFn
OrganicObjectFn
appearance as argument number 1
(
documentation
OrganicObjectFn
EnglishLanguage
"(OrganicObjectFn ?ORGCLASS) denotes the
Class
of
Object
derived from an
OrganicObject
. The
Object
was once a living
Organism
or a living
part
of an
Organism
. For example,
Hardwood
is made from harvesting the
PlantStem
s of a
DeciduousTree
.
Juice
is made from
FruitOrVegetable
of a
Plant
.")
Economy.kif 5253-5256
(
domainSubclass
OrganicObjectFn
1
OrganicObject
)
Economy.kif 5249-5249
O argumento numero 1 de
OrganicObjectFn
e' uma
sub
-classe de
Objeto Organico
(
instance
OrganicObjectFn
UnaryFunction
)
Economy.kif 5247-5247
OrganicObjectFn
e' uma
instancia
de
funcao Unaria
(
rangeSubclass
OrganicObjectFn
Object
)
Economy.kif 5250-5250
Os valores retornados por
OrganicObjectFn
sao as
sub
-classes de
Objeto
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
OrganicObjectFn
e'
relacionado
internamente por SUMO a
DeadFn
appearance as argument number 2
(
format
EnglishLanguage
OrganicObjectFn
"
Object
made from %1")
Economy.kif 5251-5251
(
termFormat
EnglishLanguage
OrganicObjectFn
"organic object fn")
Economy.kif 5252-5252
antecedent
(=>
(
and
(
equal
?AF
(
OrganicObjectFn
?F))
(
subclass
?AF
AnimalFat
)
(
subclass
?F
FatTissue
))
(
initialPart
?F
Animal
))
Food.kif 2876-2882
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
AnimalFat
Objeto
e' uma
sub
-classe de
Tecido Gorduroso
initialPart
Objeto
and
Animal
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CoffeeBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CoffeePlant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CocoaBean
Objeto
e' uma
sub
-classe de
Seed
initialPart
Objeto
and
CocoaTree
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Carne
Objeto Organico
e' uma
sub
-classe de
Animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Malt
Objeto
e' uma
sub
-classe de
CerealGrain
initialPart
Objeto
and
CerealGrass
(=>
(
and
(
equal
?O
(
OrganicObjectFn
?S))
(
subclass
?O
OilFromPlant
)
(
or
(
subclass
?S
Seed
)
(
subclass
?S
Fruit
)))
(
exists
(?P)
(
and
(
subclass
?P
FloweringPlant
)
(
initialPart
?S ?P))))
Economy.kif 4532-4543
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OilFromPlant
Objeto
e' uma
sub
-classe de
Seed
Objeto
e' uma
sub
-classe de
Fruit
Objeto
Objeto
e' uma
sub
-classe de
Planta Florindo
initialPart
Objeto
and
Objeto
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Objeto
Objeto
Objeto
Objeto
e' uma
instancia
de
DeadFn
Objeto Organico
Objeto
e' uma &parte de
Objeto
Objeto
e' uma
instancia
de
Objeto Organico
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Objeto
Objeto Organico
e' uma
sub
-classe de
Organismo
Objeto Organico
e' uma
sub
-classe de
Estructura Anatomica
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Pelt
Objeto Organico
e' uma
sub
-classe de
Skin
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Suet
Objeto
e' uma
sub
-classe de
Tecido Gorduroso
initialPart
Objeto
and
Cattle
initialPart
Objeto
and
Sheep
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Lambskin
Objeto
e' uma
sub
-classe de
Skin
initialPart
Objeto
and
Lamb
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
Sheepskin
Objeto
e' uma
sub
-classe de
Skin
initialPart
Objeto
and
Sheep
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
TeaPlantAerialPart
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
BalsaWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
BeechWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
BirchWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CedarWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
CherryWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
BlackCherryTree
initialPart
Objeto
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
FirWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
FirTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Hardwood
Objeto Organico
e' uma
sub
-classe de
PlantStem
o argumento
initialPart
Objeto Organico
and
DeciduousTree
tem a
forca
modal
de
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
LarchWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
MapleWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
MapleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
OkoumeWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
PineWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
PineTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
PoplarWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
PoplarTree
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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