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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeciduousTree
DeciduousTree(deciduous tree)

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


(disjoint DeciduousTree EvergreenTree) Geography.kif 6458-6458 Deciduous tree is disjoint from evergreen tree
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.") Geography.kif 6459-6460 Deciduous tree is disjoint from evergreen tree
(subclass DeciduousTree BotanicalTree) Geography.kif 6457-6457 Deciduous tree is a subclass of botanical tree

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


(subclass AspenTree DeciduousTree) Geography.kif 6588-6588 Aspen tree is a subclass of deciduous tree
(subclass BalsaTree DeciduousTree) Geography.kif 6548-6548 Balsa tree is a subclass of deciduous tree
(subclass BeechTree DeciduousTree) Geography.kif 6553-6553 Beech tree is a subclass of deciduous tree
(subclass BirchTree DeciduousTree) Geography.kif 6558-6558 Birch tree is a subclass of deciduous tree
(subclass BlackCherryTree DeciduousTree) Geography.kif 6563-6563 Black cherry tree is a subclass of deciduous tree
(subclass CottonwoodTree DeciduousTree) Geography.kif 6585-6585 Cottonwood tree is a subclass of deciduous tree
(subclass MapleTree DeciduousTree) Geography.kif 6572-6572 Maple tree is a subclass of deciduous tree
(subclass OkoumeTree DeciduousTree) Geography.kif 6576-6576 Okoume tree is a subclass of deciduous tree
(subclass PoplarTree DeciduousTree) Geography.kif 6581-6581 Poplar tree is a subclass of deciduous tree
(subclass RedOakTree DeciduousTree) Geography.kif 6591-6591 Red oak tree is a subclass of deciduous tree
(subclass SapeleTree DeciduousTree) Geography.kif 6595-6595 Sapele tree is a subclass of deciduous tree
(subclass SweetCherryTree DeciduousTree) Geography.kif 6568-6568 Sweet cherry tree is a subclass of deciduous tree
(subclass WalnutTree DeciduousTree) Geography.kif 6600-6600 Walnut tree is a subclass of deciduous tree
(subclass WhiteOakTree DeciduousTree) Geography.kif 6605-6605 White oak tree is a subclass of deciduous tree
(subclass WillowTree DeciduousTree) Geography.kif 6610-6610 Willow tree is a subclass of deciduous tree
(termFormat EnglishLanguage DeciduousTree "deciduous tree") domainEnglishFormat.kif 64773-64773 Willow tree is a subclass of deciduous tree

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


(=>
    (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 6462-6473

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))
Economy.kif 5619-5626
(=>
    (equal ?P
        (PlantFn Apple))
    (subclass ?P DeciduousTree))
Food.kif 2184-2186


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