Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (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
(=>
    (equal ?P
        (PlantFn Apple))
    (subclass ?P DeciduousTree))		 Food.kif 2184-2186
(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W Hardwood)
        (subclass ?S PlantStem))
    (modalAttribute
        (initialPart ?S DeciduousTree) Likely))		 Economy.kif 5284-5291
(subclass DeciduousTree BotanicalTree) Geography.kif 6388-6388 DeciduousTree 是 植物树 的 subclass
(subclass BalsaTree DeciduousTree) Geography.kif 6479-6479 BalsaTree 是 DeciduousTree 的 subclass
(subclass BeechTree DeciduousTree) Geography.kif 6484-6484 BeechTree 是 DeciduousTree 的 subclass
(subclass BirchTree DeciduousTree) Geography.kif 6489-6489 BirchTree 是 DeciduousTree 的 subclass
(subclass BlackCherryTree DeciduousTree) Geography.kif 6494-6494 BlackCherryTree 是 DeciduousTree 的 subclass
(subclass SweetCherryTree DeciduousTree) Geography.kif 6499-6499 SweetCherryTree 是 DeciduousTree 的 subclass
(subclass MapleTree DeciduousTree) Geography.kif 6503-6503 MapleTree 是 DeciduousTree 的 subclass
(subclass OkoumeTree DeciduousTree) Geography.kif 6507-6507 奥古曼树 是 DeciduousTree 的 subclass
(subclass PoplarTree DeciduousTree) Geography.kif 6512-6512 PoplarTree 是 DeciduousTree 的 subclass
(subclass CottonwoodTree DeciduousTree) Geography.kif 6516-6516 CottonwoodTree 是 DeciduousTree 的 subclass
(subclass AspenTree DeciduousTree) Geography.kif 6519-6519 AspenTree 是 DeciduousTree 的 subclass
(subclass RedOakTree DeciduousTree) Geography.kif 6522-6522 RedOakTree 是 DeciduousTree 的 subclass
(subclass SapeleTree DeciduousTree) Geography.kif 6526-6526 SapeleTree 是 DeciduousTree 的 subclass
(subclass WalnutTree DeciduousTree) Geography.kif 6531-6531 WalnutTree 是 DeciduousTree 的 subclass
(subclass WhiteOakTree DeciduousTree) Geography.kif 6536-6536 WhiteOakTree 是 DeciduousTree 的 subclass
(subclass WillowTree DeciduousTree) Geography.kif 6541-6541 柳树 是 DeciduousTree 的 subclass


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