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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - DeciduousTree
DeciduousTree

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


(disjoint DeciduousTree EvergreenTree) Geography.kif 6389-6389
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.") Geography.kif 6390-6391
(subclass DeciduousTree BotanicalTree) Geography.kif 6388-6388

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


(subclass AspenTree DeciduousTree) Geography.kif 6519-6519
(subclass BalsaTree DeciduousTree) Geography.kif 6479-6479
(subclass BeechTree DeciduousTree) Geography.kif 6484-6484
(subclass BirchTree DeciduousTree) Geography.kif 6489-6489
(subclass BlackCherryTree DeciduousTree) Geography.kif 6494-6494
(subclass CottonwoodTree DeciduousTree) Geography.kif 6516-6516
(subclass MapleTree DeciduousTree) Geography.kif 6503-6503
(subclass OkoumeTree DeciduousTree) Geography.kif 6507-6507
(subclass PoplarTree DeciduousTree) Geography.kif 6512-6512
(subclass RedOakTree DeciduousTree) Geography.kif 6522-6522
(subclass SapeleTree DeciduousTree) Geography.kif 6526-6526
(subclass SweetCherryTree DeciduousTree) Geography.kif 6499-6499
(subclass WalnutTree DeciduousTree) Geography.kif 6531-6531
(subclass WhiteOakTree DeciduousTree) Geography.kif 6536-6536
(subclass WillowTree DeciduousTree) Geography.kif 6541-6541
(termFormat EnglishLanguage DeciduousTree "deciduous tree") domainEnglishFormat.kif 64752-64752

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 6393-6404

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


(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))
Economy.kif 5284-5291
(=>
    (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