initialPart
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
WalnutWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
WhiteOakWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
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
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
WoodProduct
Objeto
e' uma
sub
-classe de
PlantStem
Objeto
Objeto
e' uma
sub
-classe de
BotanicalTree
initialPart
Objeto
and
Objeto
(=>
(
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
CommonWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EmmerWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
DurumWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
TriticumUrartu
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Colecao
e' uma
instancia
de
Colecao
memberType
Colecao
and
Chromosome
Objeto
e'
membro
de
Colecao
Objeto
e' uma &parte de
EmmerWheatGrass
Colecao
Colecao
,
Objeto
and
Objeto
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
and
EinkornWheatGrass
Colecao
e' uma
sub
-colecao de
Colecao
Colecao
e' uma
instancia
de
HomologousChromosomeSet
memberType
Colecao
and
Objeto
initialPart
Objeto
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
Entidade
e' uma
instancia
de
SheddingPart
Entidade
Entidade
and
Entidade
Entidade
e' uma
instancia
de
Entidade
RG
Entidade
RG e' uma
sub
-classe de
Organismo
Entidade
ART
Entidade
e' uma
instancia
de
DeadFn
Entidade
ART
initialPart
Entidade
ART and
Entidade
RG
(=>
(
and
(
subclass
?CLASS
Flower
)
(
equal
?CLASS
Cauliflower
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4265-4269
Objeto
e' uma
sub
-classe de
Flower
Objeto
e'
igual
a
Cauliflower
initialPart
Objeto
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Cucumber
))
(
initialPart
?CLASS
CucumberPlant
))
Economy.kif 4223-4227
Objeto
e' uma
sub
-classe de
Fruit
Objeto
e'
igual
a
Cucumber
initialPart
Objeto
and
CucumberPlant
(=>
(
and
(
subclass
?CLASS
Fruit
)
(
equal
?CLASS
Eggplant
))
(
initialPart
?CLASS
EggplantPlant
))
Economy.kif 4277-4281
Objeto
e' uma
sub
-classe de
Fruit
Objeto
e'
igual
a
Eggplant
initialPart
Objeto
and
EggplantPlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
Cabbage
))
(
initialPart
?CLASS
CabbagePlant
))
Economy.kif 4239-4243
Objeto
e' uma
sub
-classe de
PlantLeaf
Objeto
e'
igual
a
Cabbage
initialPart
Objeto
and
CabbagePlant
(=>
(
and
(
subclass
?CLASS
PlantLeaf
)
(
equal
?CLASS
LeafyGreenVegetable
))
(
initialPart
?CLASS
Plant
))
Economy.kif 4214-4218
Objeto
e' uma
sub
-classe de
PlantLeaf
Objeto
e'
igual
a
LeafyGreenVegetable
initialPart
Objeto
and
Planta
(=>
(
and
(
subclass
?CLASS
PlantStem
)
(
equal
?CLASS
Alfalfa
))
(
initialPart
?CLASS
AlfalfaPlant
))
Economy.kif 4825-4829
Objeto
e' uma
sub
-classe de
PlantStem
Objeto
e'
igual
a
Alfalfa
initialPart
Objeto
and
AlfalfaPlant
(=>
(
and
(
subclass
?CLASS
Seed
)
(
equal
?CLASS
Clover
))
(
initialPart
?CLASS
CloverPlant
))
Economy.kif 4839-4843
Objeto
e' uma
sub
-classe de
Seed
Objeto
e'
igual
a
Clover
initialPart
Objeto
and
CloverPlant
(=>
(
subclass
?BF
ButterFat
)
(
initialPart
?BF
Milk
))
Food.kif 2936-2938
Objeto
e' uma
sub
-classe de
ButterFat
initialPart
Objeto
and
Milk
(=>
(
subclass
?CLASS
Coffee
)
(
initialPart
CoffeeBean
?CLASS))
Food.kif 645-647
Objeto
e' uma
sub
-classe de
Coffee
initialPart
CoffeeBean
and
Objeto
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