initialPart
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
walnut wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
walnut tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
white oak wood
and
another kind of object
is a
subclass
of
plant stem
,
then every
the other kind of object
is
initially
part
of a
white oak tree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
If
a kind of object
is
equal
to
Object
made from
another kind of object
and
a kind of object
is a
subclass
of
wood product
and
another kind of object
is a
subclass
of
plant stem
,
then there exists
a third kind of object
such that
a third kind of object
is a
subclass
of
botanical tree
and every
the other kind of object
is
initially
part
of a
the third kind of 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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
common wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
emmer wheat grass
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops Tauschii
(=>
(
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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
durum wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
Triticum urartu
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops Speltoides
(=>
(
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
If
a collection
is an
instance
of
collection
and
Chromosome
is a
member
type of
the collection
and
an object
is a
member
of
the collection
and
the object
is a
part
of
emmer wheat grass
,
then there exist
another collection
,
a third collection
,, ,
another kind of object
and
a third kind of object
such that
the other collection
is a proper
sub
-collection of
the collection
and
the other collection
is an
instance
of
homologous chromosome set
and
another kind of object
is a
member
type of
the other collection
and every
the other kind of object
is
initially
part
of a
einkorn wheat grass
and
the third collection
is a proper
sub
-collection of
the collection
and
the third collection
is an
instance
of
homologous chromosome set
and
a third kind of object
is a
member
type of
the third collection
and every
the third kind of object
is
initially
part
of a
Aegilops grass
(=>
(
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
If
an entity
is an
instance
of
shedding part
and
the entity
another entity
and
a third entity
and
the other entity
is an
instance
of
the other entity
RG and
the other entity
RG is a
subclass
of
organism
,
then there exists
the third entity
ART such that
the third entity
is an
instance
of a
dead
the third entity
ART and every
the third entity
ART is
initially
part
of a
the other entity
RG
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
If
a kind of object
is a
subclass
of
flower
and
a kind of object
is
equal
to
cauliflower
,
then every
the kind of object
is
initially
part
of a
cabbage plant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
If
a kind of object
is a
subclass
of
fruit
and
a kind of object
is
equal
to
cucumber
,
then every
the kind of object
is
initially
part
of a
cucumber plant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
If
a kind of object
is a
subclass
of
fruit
and
a kind of object
is
equal
to
eggplant
,
then every
the kind of object
is
initially
part
of a
EggplantPlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
If
a kind of object
is a
subclass
of
plant leaf
and
a kind of object
is
equal
to
cabbage
,
then every
the kind of object
is
initially
part
of a
cabbage plant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
If
a kind of object
is a
subclass
of
plant leaf
and
a kind of object
is
equal
to
leafy green vegetable
,
then every
the kind of object
is
initially
part
of a
plant
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
If
a kind of object
is a
subclass
of
plant stem
and
a kind of object
is
equal
to
alfalfa
,
then every
the kind of object
is
initially
part
of a
alfalfa plant
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
If
a kind of object
is a
subclass
of
seed
and
a kind of object
is
equal
to
clover
,
then every
the kind of object
is
initially
part
of a
clover plant
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
If
a kind of object
is a
subclass
of
butter fat
,
then every
a kind of object
is
initially
part
of a
milk
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
If
a kind of object
is a
subclass
of
coffee
,
then every
coffee bean
is
initially
part
of a
a kind of 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