initialPart
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WalnutWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WhiteOakWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
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
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WoodProduct
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
BotanicalTree
und
initialPart
** ** ** Object
and
** ** ** Object
(=>
(
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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
CommonWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EmmerWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
DurumWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
TriticumUrartu
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
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
Wenn
Collection
ist ein
fall
von
Collection
%n{nicht} und
memberType
** Collection
and
Chromosome
und
Object
ist ein
Mitglied
von
** Collection
%n{nicht} und
** Object
ist ein
teil
von
EmmerWheatGrass
%n{nicht},
dann es gibt
** Collection
,
** Collection
,, ,
** ** Object
, and und
** ** Object
um
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
and
EinkornWheatGrass
und
** ** Collection
ist eine korrekte
teilsammlung
von
** Collection
%n{nicht} und
** ** Collection
ist ein
fall
von
HomologousChromosomeSet
%n{nicht} und
memberType
** ** Collection
and
** ** Object
und
initialPart
** ** ** Object
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
Wenn
Entity
ist ein
fall
von
SheddingPart
%n{nicht} und
** Entity
** Entity
and
** Entity
und
** ** Entity
ist ein
fall
von
** ** Entity
RG %n{nicht} und
** ** Entity
RG ist eine
teilkategorie
von
Organism
,
dann es gibt
** ** Entity
ART um
** ** Entity
ist ein
fall
von
DeadFn
** ** Entity
ART %n{nicht} und
initialPart
** ** Entity
ART and
** ** Entity
RG
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
Wenn
** Object
ist eine
teilkategorie
von
Flower
und
** Object
ist gleich
Cauliflower
%n{nicht},
dann
initialPart
** ** Object
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
Wenn
** Object
ist eine
teilkategorie
von
Fruit
und
** Object
ist gleich
Cucumber
%n{nicht},
dann
initialPart
** ** Object
and
CucumberPlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
Wenn
** Object
ist eine
teilkategorie
von
Fruit
und
** Object
ist gleich
Eggplant
%n{nicht},
dann
initialPart
** ** Object
and
EggplantPlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Wenn
** Object
ist eine
teilkategorie
von
PlantLeaf
und
** Object
ist gleich
Cabbage
%n{nicht},
dann
initialPart
** ** Object
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Wenn
** Object
ist eine
teilkategorie
von
PlantLeaf
und
** Object
ist gleich
LeafyGreenVegetable
%n{nicht},
dann
initialPart
** ** Object
and
Plant
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Wenn
** Object
ist eine
teilkategorie
von
PlantStem
und
** Object
ist gleich
Alfalfa
%n{nicht},
dann
initialPart
** ** Object
and
AlfalfaPlant
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
Wenn
** Object
ist eine
teilkategorie
von
Seed
und
** Object
ist gleich
Clover
%n{nicht},
dann
initialPart
** ** Object
and
CloverPlant
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
Wenn
** Object
ist eine
teilkategorie
von
ButterFat
,
dann
initialPart
** Object
and
Milk
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
Wenn
** Object
ist eine
teilkategorie
von
Coffee
,
dann
initialPart
CoffeeBean
and
** Object
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