OrganicObjectFn
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
RedOakWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
RedOakTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
SapeleWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
SapeleTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
如果
有点 客体
equal
OrganicObjectFn
有点 有机物体
和
有点 客体
是
Softwood
的
subclass
和
有点 有机物体
是
PlantStem
的
subclass
,
然后 %每个
那个 有点 有机物体
是
Conifers
的
initially
part
的声明 has
容易
的语气
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
SpruceWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
SpruceTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WalnutWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
WalnutTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WhiteOakWood
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 %每个
那个 另外 有点 客体
是
WhiteOakTree
的
initially
part
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
如果
有点 客体
equal
OrganicObjectFn
另一个 有点 客体
和
有点 客体
是
WoodProduct
的
subclass
和
另一个 有点 客体
是
PlantStem
的
subclass
,
然后 有存在
第三 有点 客体
这样
第三 有点 客体
是
植物树
的
subclass
和 %每个
那个 另外 有点 客体
是
那个 第三 有点 客体
的
initially
part
(=>
(
instance
?WF
(
OrganicObjectFn
CommonWheatGrain
))
(
instance
?WF
CommonWheatFlour
))
Food.kif 1508-1510
如果
实体
是
OrganicObjectFn
CommonWheatGrain
的
instance
,
然后
那个 实体
是
CommonWheatFlour
的
instance
(=>
(
instance
?WF
(
OrganicObjectFn
WheatGrain
))
(
instance
?WF
WheatFlour
))
Food.kif 1499-1501
如果
实体
是
OrganicObjectFn
小麦籽粒
的
instance
,
然后
那个 实体
是
WheatFlour
的
instance
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