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
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
オブジェクト
オブジェクト
オブジェクト
は
DeadFn
有機物
の
instance
では %n
オブジェクト
は
オブジェクト
の
part
では %n
オブジェクト
は
有機物
の
instance
では %n
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?ORG))
(
subclass
?P
Object
))
(
or
(
subclass
?ORG
Organism
)
(
subclass
?ORG
AnatomicalStructure
)))
Economy.kif 5258-5265
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
オブジェクト
の
subclass
では %n
有機物
は
物
の
subclass
では %n
有機物
は
解剖学的構造
の
subclass
では %n
(=>
(
and
(
equal
?P
(
OrganicObjectFn
?S))
(
subclass
?P
Pelt
))
(
subclass
?S
Skin
))
Economy.kif 5032-5036
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Pelt
の
subclass
では %n
有機物
は
Skin
の
subclass
では %n
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?F))
(
subclass
?S
Suet
)
(
subclass
?F
FatTissue
))
(
or
(
initialPart
?F
Cattle
)
(
initialPart
?F
Sheep
)))
Food.kif 2906-2914
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Suet
の
subclass
では %n
オブジェクト
は
脂肪組織
の
subclass
では %n
initialPart
オブジェクト
and
Cattle
initialPart
オブジェクト
and
Sheep
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Lambskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Lamb
))
Economy.kif 5041-5046
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Lambskin
の
subclass
では %n
オブジェクト
は
Skin
の
subclass
では %n
initialPart
オブジェクト
and
Lamb
(=>
(
and
(
equal
?S
(
OrganicObjectFn
?O))
(
subclass
?S
Sheepskin
)
(
subclass
?O
Skin
))
(
initialPart
?O
Sheep
))
Economy.kif 5051-5056
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
Sheepskin
の
subclass
では %n
オブジェクト
は
Skin
の
subclass
では %n
initialPart
オブジェクト
and
Sheep
(=>
(
and
(
equal
?T
(
OrganicObjectFn
?S))
(
subclass
?T
TeaPlantAerialPart
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
TeaPlant
))
Economy.kif 4715-4721
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
TeaPlantAerialPart
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
TeaPlant
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BalsaWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BalsaTree
))
Economy.kif 5296-5301
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
BalsaWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BalsaTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BeechWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BeechTree
))
Economy.kif 5306-5311
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
BeechWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BeechTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
BirchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
BirchTree
))
Economy.kif 5316-5321
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
BirchWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BirchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CedarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
CedarTree
))
Economy.kif 5421-5426
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CedarWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
CedarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
CherryWood
)
(
subclass
?S
PlantStem
))
(
or
(
initialPart
?S
BlackCherryTree
)
(
initialPart
?S
SweetCherryTree
)))
Economy.kif 5326-5333
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
CherryWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
BlackCherryTree
initialPart
オブジェクト
and
SweetCherryTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
FirWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
FirTree
))
Economy.kif 5431-5436
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
FirWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
FirTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Hardwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
DeciduousTree
)
Likely
))
Economy.kif 5284-5291
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Hardwood
の
subclass
では %n
有機物
は
PlantStem
の
subclass
では %n
ステートメント
initialPart
有機物
and
DeciduousTree
には
Likely
の
modal
force
が ある
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
LarchWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
LarchTree
))
Economy.kif 5441-5446
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
LarchWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
LarchTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
MapleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
MapleTree
))
Economy.kif 5338-5343
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
MapleWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
MapleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
OkoumeWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
OkoumeTree
))
Economy.kif 5348-5353
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
OkoumeWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
OkoumeTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PineWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PineTree
))
Economy.kif 5461-5466
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
PineWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
PineTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
PoplarWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
PoplarTree
))
Economy.kif 5358-5363
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
PoplarWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
PoplarTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
RedOakWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
SapeleWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
オブジェクト
は
OrganicObjectFn
有機物
と
equal
では %n
オブジェクト
は
Softwood
の
subclass
では %n
有機物
は
PlantStem
の
subclass
では %n
ステートメント
initialPart
有機物
and
Conifers
には
Likely
の
modal
force
が ある
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
SpruceWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
SpruceTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WalnutWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WhiteOakWood
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
initialPart
オブジェクト
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