OrganicObjectFn
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
RedOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
RedOakTree
))
Economy.kif 5368-5373
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
RedOakWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
RedOakTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SapeleWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SapeleTree
))
Economy.kif 5378-5383
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
SapeleWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
SapeleTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
Softwood
)
(
subclass
?S
PlantStem
))
(
modalAttribute
(
initialPart
?S
Conifers
)
Likely
))
Economy.kif 5409-5416
Wenn
** Object
ist gleich
OrganicObjectFn
** OrganicObject
%n{nicht} und
** Object
ist eine
teilkategorie
von
Softwood
und
** OrganicObject
ist eine
teilkategorie
von
PlantStem
,
dann die Aussage
initialPart
** ** OrganicObject
and
Conifers
hat die modale Kraft von
Likely
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
SpruceWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
SpruceTree
))
Economy.kif 5451-5456
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
SpruceWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
SpruceTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WalnutWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WalnutTree
))
Economy.kif 5388-5393
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WalnutWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
and
WalnutTree
(=>
(
and
(
equal
?W
(
OrganicObjectFn
?S))
(
subclass
?W
WhiteOakWood
)
(
subclass
?S
PlantStem
))
(
initialPart
?S
WhiteOakTree
))
Economy.kif 5398-5403
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WhiteOakWood
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann
initialPart
** ** ** Object
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
Wenn
** Object
ist gleich
OrganicObjectFn
** ** Object
%n{nicht} und
** Object
ist eine
teilkategorie
von
WoodProduct
und
** ** Object
ist eine
teilkategorie
von
PlantStem
,
dann es gibt
** ** Object
um
** ** Object
ist eine
teilkategorie
von
BotanicalTree
und
initialPart
** ** ** Object
and
** ** ** Object
(=>
(
instance
?WF
(
OrganicObjectFn
CommonWheatGrain
))
(
instance
?WF
CommonWheatFlour
))
Food.kif 1508-1510
Wenn
Entity
ist ein
fall
von
OrganicObjectFn
CommonWheatGrain
%n{nicht},
dann
** Entity
ist ein
fall
von
CommonWheatFlour
%n{nicht}
(=>
(
instance
?WF
(
OrganicObjectFn
WheatGrain
))
(
instance
?WF
WheatFlour
))
Food.kif 1499-1501
Wenn
Entity
ist ein
fall
von
OrganicObjectFn
WheatGrain
%n{nicht},
dann
** Entity
ist ein
fall
von
WheatFlour
%n{nicht}
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