subclass
(=>
(
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
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
RedOakWood
子類
Object
and
PlantStem
%每個
Object
是
RedOakTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
SapeleWood
子類
Object
and
PlantStem
%每個
Object
是
SapeleTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
等於
Object
and
OrganicObjectFn
OrganicObject
子類
Object
and
Softwood
子類
OrganicObject
and
PlantStem
模態屬性
%每個
OrganicObject
是
Conifers
的
initially
part
and
容易
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
SpruceWood
子類
Object
and
PlantStem
%每個
Object
是
SpruceTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
WalnutWood
子類
Object
and
PlantStem
%每個
Object
是
WalnutTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
WhiteOakWood
子類
Object
and
PlantStem
%每個
Object
是
WhiteOakTree
的
initially
part
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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