OrganicObjectFn
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
RedOakWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
SapeleWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Objeto
e'
igual
a
OrganicObjectFn
Objeto Organico
Objeto
e' uma
sub
-classe de
Softwood
Objeto Organico
e' uma
sub
-classe de
PlantStem
o argumento
initialPart
Objeto Organico
and
Conifers
tem a
forca
modal
de
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Objeto
e'
igual
a
OrganicObjectFn
Objeto
Objeto
e' uma
sub
-classe de
SpruceWood
Objeto
e' uma
sub
-classe de
PlantStem
initialPart
Objeto
and
SpruceTree
(=>
(
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
(=>
(
instance
?WF
(
OrganicObjectFn
CommonWheatGrain
))
(
instance
?WF
CommonWheatFlour
))
Food.kif 1508-1510
Entidade
e' uma
instancia
de
OrganicObjectFn
CommonWheatGrain
Entidade
e' uma
instancia
de
CommonWheatFlour
(=>
(
instance
?WF
(
OrganicObjectFn
WheatGrain
))
(
instance
?WF
WheatFlour
))
Food.kif 1499-1501
Entidade
e' uma
instancia
de
OrganicObjectFn
WheatGrain
Entidade
e' uma
instancia
de
WheatFlour
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