initialPart
(=>
(
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
(=>
(
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
CommonWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EmmerWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
DurumWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
TriticumUrartu
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
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
如果
群体
是
群体
的
instance
和
Chromosome
是
那个 群体
的
member
类别 和
客体
是
那个 群体
的
member
和
那个 客体
是
EmmerWheatGrass
的
part
,
然后 有存在
另一个 群体
,
第三 群体
,, ,
另一个 有点 客体
, and 和
第三 有点 客体
这样
那个 另外 群体
是
那个 群体
的 真正的子集 和
那个 另外 群体
是
HomologousChromosomeSet
的
instance
和
另一个 有点 客体
是
那个 另外 群体
的
member
类别 和 %每个
那个 另外 有点 客体
是
EinkornWheatGrass
的
initially
part
和
那个 第三 群体
是
那个 群体
的 真正的子集 和
那个 第三 群体
是
HomologousChromosomeSet
的
instance
和
第三 有点 客体
是
那个 第三 群体
的
member
类别 和 %每个
那个 第三 有点 客体
是
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
如果
实体
是
SheddingPart
的
instance
和
那个 实体
另一个 实体
and
第三 实体
和
那个 另外 实体
是
那个 另外 实体
RG 的
instance
和
那个 另外 实体
RG 是
生物
的
subclass
,
然后 有存在
那个 第三 实体
ART 这样
那个 第三 实体
是 一个
dead
那个 第三 实体
ART 的
instance
和 %每个
那个 第三 实体
ART 是
那个 另外 实体
RG 的
initially
part
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
如果
有点 客体
是
花
的
subclass
和
有点 客体
equal
菜花
,
然后 %每个
那个 有点 客体
是
CabbagePlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
如果
有点 客体
是
水果
的
subclass
和
有点 客体
equal
黄瓜
,
然后 %每个
那个 有点 客体
是
CucumberPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
如果
有点 客体
是
水果
的
subclass
和
有点 客体
equal
茄子
,
然后 %每个
那个 有点 客体
是
EggplantPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
如果
有点 客体
是
PlantLeaf
的
subclass
和
有点 客体
equal
卷心菜
,
然后 %每个
那个 有点 客体
是
CabbagePlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
如果
有点 客体
是
PlantLeaf
的
subclass
和
有点 客体
equal
绿叶蔬菜
,
然后 %每个
那个 有点 客体
是
植物
的
initially
part
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
如果
有点 客体
是
PlantStem
的
subclass
和
有点 客体
equal
苜蓿
,
然后 %每个
那个 有点 客体
是
AlfalfaPlant
的
initially
part
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
如果
有点 客体
是
种子
的
subclass
和
有点 客体
equal
苜
,
然后 %每个
那个 有点 客体
是
CloverPlant
的
initially
part
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
如果
有点 客体
是
ButterFat
的
subclass
,
然后 %每个
有点 客体
是
乳
的
initially
part
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
如果
有点 客体
是
咖啡
的
subclass
,
然后 %每个
咖啡豆
是
有点 客体
的
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