OrganicObjectFn
(=>
(
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
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WoodProduct
)
(
subclass
?S
PlantStem
))
(
exists
(?T)
(
and
(
subclass
?T
BotanicalTree
)
(
initialPart
?S ?T))))
Economy.kif 5235-5244
オブジェクト
は
OrganicObjectFn
オブジェクト
と
equal
では %n
オブジェクト
は
WoodProduct
の
subclass
では %n
オブジェクト
は
PlantStem
の
subclass
では %n
オブジェクト
オブジェクト
は
BotanicalTree
の
subclass
では %n
initialPart
オブジェクト
and
オブジェクト
(=>
(
instance
?WF
(
OrganicObjectFn
CommonWheatGrain
))
(
instance
?WF
CommonWheatFlour
))
Food.kif 1508-1510
エンティティー
は
OrganicObjectFn
CommonWheatGrain
の
instance
では %n
エンティティー
は
CommonWheatFlour
の
instance
では %n
(=>
(
instance
?WF
(
OrganicObjectFn
WheatGrain
))
(
instance
?WF
WheatFlour
))
Food.kif 1499-1501
エンティティー
は
OrganicObjectFn
WheatGrain
の
instance
では %n
エンティティー
は
WheatFlour
の
instance
では %n
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