initialPart
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WalnutWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WhiteOakWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
WhiteOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WoodProduct
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
オブジェクト
オブジェクト
は
BotanicalTree
の
subclass
では %n
initialPart
オブジェクト
and
オブジェクト
(=>
(
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
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
CommonWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
EmmerWheatGrass
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsTauschii
(=>
(
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
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
DurumWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
TriticumUrartu
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsSpeltoides
(=>
(
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
では %n
memberType
コレクション
and
Chromosome
オブジェクト
は
コレクション
の
member
では %n
オブジェクト
は
EmmerWheatGrass
の
part
では %n
コレクション
コレクション
,
オブジェクト
and
オブジェクト
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
EinkornWheatGrass
コレクション
は
コレクション
の 適切な
sub
-collection では %n
コレクション
は
HomologousChromosomeSet
の
instance
では %n
memberType
コレクション
and
オブジェクト
initialPart
オブジェクト
and
AegilopsGrass
(=>
(
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
では %n
エンティティー
エンティティー
and
エンティティー
エンティティー
は
エンティティー
RG の
instance
では %n
エンティティー
RG は
物
の
subclass
では %n
エンティティー
ART
エンティティー
は
DeadFn
エンティティー
ART の
instance
では %n
initialPart
エンティティー
ART and
エンティティー
RG
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
オブジェクト
は
Flower
の
subclass
では %n
オブジェクト
は
Cauliflower
と
equal
では %n
initialPart
オブジェクト
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
オブジェクト
は
Fruit
の
subclass
では %n
オブジェクト
は
Cucumber
と
equal
では %n
initialPart
オブジェクト
and
CucumberPlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
オブジェクト
は
Fruit
の
subclass
では %n
オブジェクト
は
Eggplant
と
equal
では %n
initialPart
オブジェクト
and
EggplantPlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
オブジェクト
は
PlantLeaf
の
subclass
では %n
オブジェクト
は
Cabbage
と
equal
では %n
initialPart
オブジェクト
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
オブジェクト
は
PlantLeaf
の
subclass
では %n
オブジェクト
は
LeafyGreenVegetable
と
equal
では %n
initialPart
オブジェクト
and
植物
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
オブジェクト
は
PlantStem
の
subclass
では %n
オブジェクト
は
Alfalfa
と
equal
では %n
initialPart
オブジェクト
and
AlfalfaPlant
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
オブジェクト
は
Seed
の
subclass
では %n
オブジェクト
は
Clover
と
equal
では %n
initialPart
オブジェクト
and
CloverPlant
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
オブジェクト
は
ButterFat
の
subclass
では %n
initialPart
オブジェクト
and
Milk
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
オブジェクト
は
Coffee
の
subclass
では %n
initialPart
CoffeeBean
and
オブジェクト
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