initialPart
(=>
(
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
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
等於
Object
and
OrganicObjectFn
Object
子類
Object
and
WoodProduct
子類
Object
and
PlantStem
Object
子類
Object
and
植物樹
%每個
Object
是
Object
的
initially
part
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
CommonWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EmmerWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsTauschii
))))
Economy.kif 3970-3985
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
CommonWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EmmerWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsTauschii
的
initially
part
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
DurumWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
TriticumUrartu
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsSpeltoides
))))
Economy.kif 3911-3926
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
DurumWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
TriticumUrartu
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsSpeltoides
的
initially
part
(=>
(
and
(
instance
?COLL
Collection
)
(
memberType
?COLL
Chromosome
)
(
member
?M ?COLL)
(
part
?M
EmmerWheatGrass
))
(
exists
(?A ?B ?X ?Y)
(
and
(
subCollection
?A ?COLL)
(
instance
?A
HomologousChromosomeSet
)
(
memberType
?A ?X)
(
initialPart
?X
EinkornWheatGrass
)
(
subCollection
?B ?COLL)
(
instance
?B
HomologousChromosomeSet
)
(
memberType
?B ?Y)
(
initialPart
?Y
AegilopsGrass
))))
Economy.kif 3879-3894
例
Collection
and
Collection
Chromosome
是
Collection
的
member
類別
會員
Object
and
Collection
部分
Object
and
EmmerWheatGrass
Collection
Collection
,
Object
and
Object
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
EinkornWheatGrass
的
initially
part
子集合
Collection
and
Collection
例
Collection
and
HomologousChromosomeSet
Object
是
Collection
的
member
類別 %每個
Object
是
AegilopsGrass
的
initially
part
(=>
(
and
(
instance
?REL
SheddingPart
)
(?REL ?O ?P)
(
instance
?O ?ORG)
(
subclass
?ORG
Organism
))
(
exists
(?PART)
(
and
(
instance
?P
(
DeadFn
?PART))
(
initialPart
?PART ?ORG))))
Geography.kif 6425-6434
例
Entity
and
SheddingPart
Entity
Entity
and
Entity
例
Entity
and
Entity
RG
子類
Entity
RG and
Organism
Entity
ART
例
Entity
and 一個
dead
Entity
ART %每個
Entity
ART 是
Entity
RG 的
initially
part
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
子類
Object
and
花
等於
Object
and
菜花
%每個
Object
是
CabbagePlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
子類
Object
and
水果
等於
Object
and
黃瓜
%每個
Object
是
CucumberPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
子類
Object
and
水果
等於
Object
and
茄子
%每個
Object
是
EggplantPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
子類
Object
and
PlantLeaf
等於
Object
and
捲心菜
%每個
Object
是
CabbagePlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
子類
Object
and
PlantLeaf
等於
Object
and
綠葉蔬菜
%每個
Object
是
Plant
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
子類
Object
and
PlantStem
等於
Object
and
苜蓿
%每個
Object
是
AlfalfaPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
子類
Object
and
種子
等於
Object
and
苜
%每個
Object
是
CloverPlant
的
initially
part
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
子類
Object
and
ButterFat
%每個
Object
是
奶
的
initially
part
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
子類
Object
and
咖啡
%每個
咖啡豆
是
Object
的
initially
part
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