initialPart
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WalnutWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WhiteOakWood
Oggetto
è una
sottoclasse
di
PlantStem
initialPart
Oggetto
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
Oggetto
is
uguale
a
OrganicObjectFn
Oggetto
Oggetto
è una
sottoclasse
di
WoodProduct
Oggetto
è una
sottoclasse
di
PlantStem
Oggetto
Oggetto
è una
sottoclasse
di
BotanicalTree
initialPart
Oggetto
and
Oggetto
(=>
(
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
CommonWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
EmmerWheatGrass
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
DurumWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
TriticumUrartu
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
InsiemeConcreto
è un'
istanza
di
InsiemeConcreto
memberType
InsiemeConcreto
and
Chromosome
Oggetto
è un
membro
di
InsiemeConcreto
Oggetto
è una
parte
di
EmmerWheatGrass
InsiemeConcreto
InsiemeConcreto
,
Oggetto
and
Oggetto
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
and
EinkornWheatGrass
InsiemeConcreto
è
sottoinsieme
un proprio
InsiemeConcreto
InsiemeConcreto
è un'
istanza
di
HomologousChromosomeSet
memberType
InsiemeConcreto
and
Oggetto
initialPart
Oggetto
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
Entit�
è un'
istanza
di
SheddingPart
Entit�
Entit�
and
Entit�
Entit�
è un'
istanza
di
Entit�
RG
Entit�
RG è una
sottoclasse
di
Organismo
Entit�
ART
Entit�
è un'
istanza
di
DeadFn
Entit�
ART
initialPart
Entit�
ART and
Entit�
RG
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
Oggetto
è una
sottoclasse
di
Flower
Oggetto
is
uguale
a
Cauliflower
initialPart
Oggetto
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
Oggetto
è una
sottoclasse
di
Fruit
Oggetto
is
uguale
a
Cucumber
initialPart
Oggetto
and
CucumberPlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
Oggetto
è una
sottoclasse
di
Fruit
Oggetto
is
uguale
a
Eggplant
initialPart
Oggetto
and
EggplantPlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Oggetto
è una
sottoclasse
di
PlantLeaf
Oggetto
is
uguale
a
Cabbage
initialPart
Oggetto
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Oggetto
è una
sottoclasse
di
PlantLeaf
Oggetto
is
uguale
a
LeafyGreenVegetable
initialPart
Oggetto
and
Pianta
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Oggetto
è una
sottoclasse
di
PlantStem
Oggetto
is
uguale
a
Alfalfa
initialPart
Oggetto
and
AlfalfaPlant
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
Oggetto
è una
sottoclasse
di
Seed
Oggetto
is
uguale
a
Clover
initialPart
Oggetto
and
CloverPlant
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
Oggetto
è una
sottoclasse
di
ButterFat
initialPart
Oggetto
and
Milk
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
Oggetto
è una
sottoclasse
di
Coffee
initialPart
CoffeeBean
and
Oggetto
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