OrganicObjectFn

-------------------------


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W RedOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S RedOakTree))		 Economy.kif 5368-5373
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SapeleWood)
        (subclass ?S PlantStem))
    (initialPart ?S SapeleTree))		 Economy.kif 5378-5383
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Softwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S Conifers) Likely))		 Economy.kif 5409-5416
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W SpruceWood)
        (subclass ?S PlantStem))
    (initialPart ?S SpruceTree))		 Economy.kif 5451-5456
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WalnutWood)
        (subclass ?S PlantStem))
    (initialPart ?S WalnutTree))		 Economy.kif 5388-5393
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WhiteOakWood)
        (subclass ?S PlantStem))
    (initialPart ?S WhiteOakTree))		 Economy.kif 5398-5403
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W WoodProduct)
        (subclass ?S PlantStem))
    (exists (?T)
        (and
            (subclass ?T BotanicalTree)
            (initialPart ?S ?T))))		 Economy.kif 5235-5244
(=>
    (instance ?WF
        (OrganicObjectFn CommonWheatGrain))
    (instance ?WF CommonWheatFlour))		 Food.kif 1508-1510
(=>
    (instance ?WF
        (OrganicObjectFn WheatGrain))
    (instance ?WF WheatFlour))		 Food.kif 1499-1501


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