subclass
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
exists
(?R ?O)
(
and
(
instance
?R
(
DeadFn
?ORG))
(
part
?R ?O)
(
instance
?O ?ORG))))
Economy.kif 5267-5276
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet
objet
objet
est une
instance
de
DeadFn
objet organique
objet
est une
partie
de
objet
objet
est une
instance
de
objet organique
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
objet
objet organique
est une
sous
-classe de
organisme
objet organique
est une
sous
-classe de
structure anatomique
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Pelt
objet organique
est une
sous
-classe de
Skin
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Suet
objet
est une
sous
-classe de
tissu gras
initialPart
objet
and
Cattle
initialPart
objet
and
Sheep
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Lambskin
objet
est une
sous
-classe de
Skin
initialPart
objet
and
Lamb
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
Sheepskin
objet
est une
sous
-classe de
Skin
initialPart
objet
and
Sheep
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
TeaPlantAerialPart
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
BalsaWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
BeechWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
BirchWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
CedarWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
CherryWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
BlackCherryTree
initialPart
objet
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
FirWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
FirTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Hardwood
objet organique
est une
sous
-classe de
PlantStem
l'argument
initialPart
objet organique
and
DeciduousTree
a la
force
modale
de
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
LarchWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
MapleWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
MapleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
OkoumeWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
PineWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
PineTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
PoplarWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
PoplarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
RedOakWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
SapeleWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Objet
est
OrganicObjectFn
objet organique
objet
est une
sous
-classe de
Softwood
objet organique
est une
sous
-classe de
PlantStem
l'argument
initialPart
objet organique
and
Conifers
a la
force
modale
de
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
SpruceWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
SpruceTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
WalnutWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Objet
est
OrganicObjectFn
objet
objet
est une
sous
-classe de
WhiteOakWood
objet
est une
sous
-classe de
PlantStem
initialPart
objet
and
WhiteOakTree
Display limited to 25 items.
Show next 25
Display limited to 25 items.
Show next 25
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