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
域子類
OrganicObjectFn
, 1 and
OrganicObject
(
instance
OrganicObjectFn
UnaryFunction
)
Economy.kif 5247-5247
例
OrganicObjectFn
and
UnaryFunction
(
rangeSubclass
OrganicObjectFn
Object
)
Economy.kif 5250-5250
範圍子類
OrganicObjectFn
and
Object
(
relatedInternalConcept
OrganicObjectFn
DeadFn
)
Economy.kif 5248-5248
相關的內部概念
OrganicObjectFn
and
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
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
AnimalFat
子類
Object
and
FatTissue
%每個
Object
是
Animal
的
initially
part
(=>
(
and
(
equal
?B
(
OrganicObjectFn
?P))
(
subclass
?B
CoffeeBean
)
(
subclass
?P
Seed
))
(
initialPart
?P
CoffeePlant
))
Economy.kif 4629-4634
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
咖啡豆
子類
Object
and
種子
%每個
Object
是
CoffeePlant
的
initially
part
(=>
(
and
(
equal
?C
(
OrganicObjectFn
?S))
(
subclass
?C
CocoaBean
)
(
subclass
?S
Seed
))
(
initialPart
?S
CocoaTree
))
Economy.kif 4693-4699
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
可可豆
子類
Object
and
種子
%每個
Object
是
可可樹
的
initially
part
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?A))
(
subclass
?M
Meat
))
(
subclass
?A
Animal
))
Economy.kif 4945-4950
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Meat
子類
OrganicObject
and
Animal
(=>
(
and
(
equal
?M
(
OrganicObjectFn
?G))
(
subclass
?M
Malt
)
(
subclass
?G
CerealGrain
))
(
initialPart
?G
CerealGrass
))
Economy.kif 4166-4172
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
Malt
子類
Object
and
穀物
%每個
Object
是
穀物草
的
initially
part
(=>
(
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
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
OilFromPlant
子類
Object
and
種子
子類
Object
and
水果
Object
子類
Object
and
FloweringPlant
%每個
Object
是
Object
的
initially
part
(=>
(
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
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Object
Object
Object
例
Object
and 一個
dead
OrganicObject
部分
Object
and
Object
例
Object
and
OrganicObject
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Object
子類
OrganicObject
and
Organism
子類
OrganicObject
and
AnatomicalStructure
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
毛皮
子類
OrganicObject
and
皮膚
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
Suet
子類
Object
and
FatTissue
%每個
Object
是
牛
的
initially
part
%每個
Object
是
羊
的
initially
part
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
小羊皮
子類
Object
and
皮膚
%每個
Object
是
羔羊
的
initially
part
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
羊皮
子類
Object
and
皮膚
%每個
Object
是
羊
的
initially
part
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
茶樹空中部分
子類
Object
and
PlantStem
%每個
Object
是
TeaPlant
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BalsaWood
子類
Object
and
PlantStem
%每個
Object
是
BalsaTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BeechWood
子類
Object
and
PlantStem
%每個
Object
是
BeechTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
BirchWood
子類
Object
and
PlantStem
%每個
Object
是
BirchTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
CedarWood
子類
Object
and
PlantStem
%每個
Object
是
CedarTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
CherryWood
子類
Object
and
PlantStem
%每個
Object
是
BlackCherryTree
的
initially
part
%每個
Object
是
SweetCherryTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
FirWood
子類
Object
and
PlantStem
%每個
Object
是
FirTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Hardwood
子類
OrganicObject
and
PlantStem
模態屬性
%每個
OrganicObject
是
DeciduousTree
的
initially
part
and
容易
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
LarchWood
子類
Object
and
PlantStem
%每個
Object
是
LarchTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
MapleWood
子類
Object
and
PlantStem
%每個
Object
是
MapleTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
OkoumeWood
子類
Object
and
PlantStem
%每個
Object
是
奧古曼樹
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
PineWood
子類
Object
and
PlantStem
%每個
Object
是
松樹
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
PoplarWood
子類
Object
and
PlantStem
%每個
Object
是
PoplarTree
的
initially
part
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