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
The number 1 argument of
organic object fn
is a
subclass
of
organic object
(
instance
OrganicObjectFn
UnaryFunction
)
Economy.kif 5247-5247
Organic object fn
is an
instance
of
unary function
(
rangeSubclass
OrganicObjectFn
Object
)
Economy.kif 5250-5250
The values returned by
organic object fn
are
subclasses
of
object
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
Organic object fn
is
internally
related to
Dead fn
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
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
animal fat
and
another kind of object
is a
subclass
of
fat tissue
,
then every
the other kind of object
is
initially
part
of a
animal
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
coffee bean
and
another kind of object
is a
subclass
of
seed
,
then every
the other kind of object
is
initially
part
of a
coffee plant
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
cocoa bean
and
another kind of object
is a
subclass
of
seed
,
then every
the other kind of object
is
initially
part
of a
cocoa tree
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
meat
,
then
a kind of organic object
is a
subclass
of
animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
malt
and
another kind of object
is a
subclass
of
cereal grain
,
then every
the other kind of object
is
initially
part
of a
cereal grass plant
(=>
(
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
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
oil from plant
and
another kind of object
is a
subclass
of
seed
or
the other kind of object
is a
subclass
of
fruit
,
then there exists
a third kind of object
such that
a third kind of object
is a
subclass
of
flowering plant
and every
the other kind of object
is
initially
part
of a
the third kind of object
(=>
(
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
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
object
,
then there exist
another object
and
a third object
such that
the other object
is an
instance
of a
dead
a kind of organic object
and
the other object
is a
part
of
the third object
and
the third object
is an
instance
of
the kind of organic object
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
object
,
then
a kind of organic object
is a
subclass
of
organism
or
the kind of organic object
is a
subclass
of
anatomical structure
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
pelt
,
then
a kind of organic object
is a
subclass
of
skin
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
suet
and
another kind of object
is a
subclass
of
fat tissue
,
then every
the other kind of object
is
initially
part
of a
cattle
or every
the other kind of object
is
initially
part
of a
sheep
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
lambskin
and
another kind of object
is a
subclass
of
skin
,
then every
the other kind of object
is
initially
part
of a
lamb
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
sheepskin
and
another kind of object
is a
subclass
of
skin
,
then every
the other kind of object
is
initially
part
of a
sheep
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
tea plant aerial part
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Balsa wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Balsa tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Beech wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Beech tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Birch wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Birch tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Cedar wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Cedar tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
cherry wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
black cherry tree
or every
the other kind of object
is
initially
part
of a
sweet cherry tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
fir wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Fir tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
If
a kind of object
is
equal
to
Object
made from
a kind of organic object
and
a kind of object
is a
subclass
of
hardwood
and
a kind of organic object
is a
subclass
of
plant stem
,
then the statement every
the kind of organic object
is
initially
part
of a
deciduous tree
has the
modal
force
of
likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
larch wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
larch tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
maple wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
maple tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Okoume wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
okoume tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
PineWood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
pine tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
Poplar wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
Poplar tree
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