Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - PlantStem
PlantStem

appearance as argument number 1
-------------------------


(documentation PlantStem EnglishLanguage "The structural part of Plants above the PlantRoot. It support and elevate the PlantLeaf, Flowers and Fruits, as well as to Transfer fluid between them and the roots.") Mid-level-ontology.kif 9562-9564
(subclass PlantStem Organ) Mid-level-ontology.kif 9561-9561 PlantStem è una sottoclasse di Organo
(subclass PlantStem PlantAnatomicalStructure) Mid-level-ontology.kif 9560-9560 PlantStem è una sottoclasse di PlantAnatomicalStructure

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage PlantStem "plant stem") domainEnglishFormat.kif 65328-65328

antecedent
-------------------------


(=>
    (and
        (equal ?T
            (OrganicObjectFn ?S))
        (subclass ?T TeaPlantAerialPart)
        (subclass ?S PlantStem))
    (initialPart ?S TeaPlant))		 Economy.kif 4715-4721
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BalsaWood)
        (subclass ?S PlantStem))
    (initialPart ?S BalsaTree))		 Economy.kif 5296-5301
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BeechWood)
        (subclass ?S PlantStem))
    (initialPart ?S BeechTree))		 Economy.kif 5306-5311
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W BirchWood)
        (subclass ?S PlantStem))
    (initialPart ?S BirchTree))		 Economy.kif 5316-5321
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CedarWood)
        (subclass ?S PlantStem))
    (initialPart ?S CedarTree))		 Economy.kif 5421-5426
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CherryWood)
        (subclass ?S PlantStem))
    (or
        (initialPart ?S BlackCherryTree)
        (initialPart ?S SweetCherryTree)))		 Economy.kif 5326-5333
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W FirWood)
        (subclass ?S PlantStem))
    (initialPart ?S FirTree))		 Economy.kif 5431-5436
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))		 Economy.kif 5284-5291
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W LarchWood)
        (subclass ?S PlantStem))
    (initialPart ?S LarchTree))		 Economy.kif 5441-5446
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W MapleWood)
        (subclass ?S PlantStem))
    (initialPart ?S MapleTree))		 Economy.kif 5338-5343
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W OkoumeWood)
        (subclass ?S PlantStem))
    (initialPart ?S OkoumeTree))		 Economy.kif 5348-5353
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PineWood)
        (subclass ?S PlantStem))
    (initialPart ?S PineTree))		 Economy.kif 5461-5466
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W PoplarWood)
        (subclass ?S PlantStem))
    (initialPart ?S PoplarTree))		 Economy.kif 5358-5363
(=>
    (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
(=>
    (and
        (instance ?STEM PlantStem)
        (instance ?ROOT PlantRoot))
    (modalAttribute
        (orientation ?STEM ?ROOT Above) Likely))		 Mid-level-ontology.kif 9566-9571
(=>
    (and
        (subclass ?CLASS PlantStem)
        (equal ?CLASS Alfalfa))
    (initialPart ?CLASS AlfalfaPlant))		 Economy.kif 4825-4829
(=>
    (instance ?STEM PlantStem)
    (hasPurpose ?STEM
        (exists (?TRAN ?ROOT ?SUB)
            (and
                (instance ?TRAN Transfer)
                (instrument ?TRAN ?STEM)
                (instance ?ROOT PlantRoot)
                (origin ?TRAN ?ROOT)
                (instance ?SUB Substance)
                (attribute ?SUB Fluid)
                (objectTransferred ?TRAN ?SUB)))))		 Mid-level-ontology.kif 9573-9584

consequent
-------------------------


(=>
    (and
        (instance ?F Felling)
        (result ?F ?S))
    (exists (?STEM)
        (and
            (instance ?S
                (DeadFn ?STEM))
            (subclass ?STEM PlantStem))))		 Economy.kif 5485-5493
(=>
    (and
        (instance ?P Plant)
        (part ?TIS ?P))
    (exists (?K ?W ?CLASS)
        (and
            (instance ?K ?CLASS)
            (subclass ?CLASS Keeping)
            (instance ?W FreshWater)
            (patient ?K ?W)
            (capability ?CLASS instrument ?TIS)
            (or
                (instance ?TIS PlantLeaf)
                (instance ?TIS PlantStem)))))		 Mid-level-ontology.kif 9588-9601
(=>
    (instance ?F Felling)
    (hasPurpose ?F
        (exists (?T ?TIMB ?S)
            (and
                (instance ?T BotanicalTree)
                (patient ?F ?T)
                (result ?F ?TIMB)
                (instance ?TIMB Timber)
                (equal ?TIMB ?S)
                (instance ?S PlantStem)
                (holdsDuring
                    (BeginFn
                        (WhenFn ?F))
                    (part ?S ?T))
                (holdsDuring
                    (EndFn
                        (WhenFn ?F))
                    (not
                        (part ?S ?T)))))))		 Economy.kif 5502-5521
(=>
    (instance ?FELL Felling)
    (exists (?C ?F ?T ?S)
        (and
            (instance ?C Cutting)
            (patient ?C ?T)
            (instance ?T BotanicalTree)
            (result ?C ?F)
            (instance ?F Falling)
            (patient ?F ?S)
            (instance ?S PlantStem)
            (part ?S ?T))))		 Economy.kif 5472-5483


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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