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


KB Term:  Term intersection
English Word: 

  exhaustiveAttribute

 Sigma KEE - PlantLeaf
PlantLeaf(plant leaf)abruptly-pinnate_leaf, acerate_leaf, acuminate_leaf, amplexicaul_leaf, bijugate_leaf, bijugous_leaf, bipinnate_leaf, blade, bract, bracteole, bractlet, cataphyll, compound_leaf, cordate_leaf, crenate_leaf, cuneate_leaf, decompound_leaf, deltoid_leaf, dentate_leaf, denticulate_leaf, elliptic_leaf, elongate_leaf, emarginate_leaf, ensiform_leaf, entire_leaf, erose_leaf, even-pinnate_leaf, fig_leaf, flowering_glume, foliage, frond, glume, hastate_leaf, involucre, lanceolate_leaf, leaf, leaf_blade, leafage, lemma, ligule, lily_pad, linear_leaf, lobe, lobed_leaf, lyrate_leaf, needle, oblanceolate_leaf, oblong_leaf, obovate_leaf, obtuse_leaf...

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


(subclass PlantLeaf PlantAnatomicalStructure) Mid-level-ontology.kif 10959-10959 Plant leaf is a subclass of plant anatomical structure
(subclass PlantLeaf Organ) Mid-level-ontology.kif 10960-10960 Plant leaf is a subclass of organ
(documentation PlantLeaf EnglishLanguage "An Organ of Plants whose main purpose is photosynthesis.") Mid-level-ontology.kif 10961-10962 Plant leaf is a subclass of organ

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


(subclass MulberryLeaf PlantLeaf) Society.kif 1035-1035 MulberryLeaf is a subclass of plant leaf
(termFormat EnglishLanguage PlantLeaf "plant leaf") domainEnglishFormat.kif 65327-65327 MulberryLeaf is a subclass of plant leaf

appearance as argument number 3
-------------------------


(domain sheddingLeaves 2 PlantLeaf) Geography.kif 8063-8063 The number 2 argument of shedding leaves is an instance of plant leaf

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


(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS LeafyGreenVegetable))
    (initialPart ?CLASS Plant))		 Economy.kif 4546-4550 If X is a subclass of plant leaf and equal X and leafy green vegetable, then every X is initially part of a plant
(=>
    (and
        (subclass ?CLASS PlantLeaf)
        (equal ?CLASS Cabbage))
    (initialPart ?CLASS CabbagePlant))		 Economy.kif 4571-4575 If X is a subclass of plant leaf and equal X and cabbage, then every X is initially part of a cabbage plant
(=>
    (and
        (sheddingLeaves ?T ?L)
        (instance ?T DeciduousTree)
        (instance ?L PlantLeaf))
    (exists (?SHED ?S)
        (and
            (subclass ?SHED Removing)
            (frequency ?SHED YearDuration)
            (instance ?S ?SHED)
            (origin ?S ?T)
            (patient ?S ?L))))		 Geography.kif 8018-8029 If X is a Removing Y from its stems, X is an instance of deciduous tree, and Y is an instance of plant leaf, then there exist Z, W such that Z is a subclass of removing, Z occurs every year duration, W is an instance of Z, W originates at X, and Y is a patient of W
(=>
    (and
        (instance ?T EvergreenTree)
        (instance ?L PlantLeaf))
    (not
        (sheddingLeaves ?T ?L)))		 Geography.kif 8178-8183 If X is an instance of evergreen tree and Y is an instance of plant leaf, then X is a Removing Y from its stems

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


(=>
    (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 11052-11065 If X is an instance of plant and Y is a part of X, then All of the following hold: (1) there exist Z, W (2) V such that Z is an instance of V (3) V is a subclass of keeping (4) W is an instance of freshwater (5) W is a patient of Z (6) Y is capable of doing V as a instrument (7) Y is an instance of plant leaf or Y is an instance of plant stem
(=>
    (instance ?DEVICE LeafBlower)
    (hasPurpose ?DEVICE
        (exists (?LEAF ?TRANSFER)
            (and
                (instance ?LEAF PlantLeaf)
                (instance ?TRANSFER Transfer)
                (instrument ?TRANSFER ?DEVICE)
                (patient ?TRANSFER ?LEAF)))))		 HouseholdAppliances.kif 488-496 If X is an instance of leaf blower, then X has the purpose there exist Y, Z such that Y is an instance of plant leaf, Z is an instance of transfer, X is an instrument for Z, and Y is a patient of Z


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners