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 不相交的 DeciduousTree and EvergreenTree
(documentation DeciduousTree EnglishLanguage "DeciduousTrees shed their PlantLeaf(ves) annually.") Geography.kif 6390-6391
(subclass DeciduousTree BotanicalTree) Geography.kif 6388-6388 子類 DeciduousTree and 植物樹

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


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

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