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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - sheddingLeaves

appearance as argument number 1

(documentation sheddingLeaves EnglishLanguage "A relation between a Plant and its leaves which is given off as part of the normal process of life.") Geography.kif 6439-6440
(domain sheddingLeaves 1 Plant) Geography.kif 6437-6437
(domain sheddingLeaves 2 PlantLeaf) Geography.kif 6438-6438
(instance sheddingLeaves SheddingPart) Geography.kif 6436-6436

appearance as argument number 2

(format EnglishLanguage sheddingLeaves "%1 is a Removing %2 from its stems") domainEnglishFormat.kif 5010-5010
(termFormat EnglishLanguage sheddingLeaves "shedding leaves") domainEnglishFormat.kif 65936-65936


        (sheddingLeaves ?T ?L)
        (instance ?T DeciduousTree)
        (instance ?L PlantLeaf))
    (exists (?SHED ?S)
            (subclass ?SHED Removing)
            (frequency ?SHED YearDuration)
            (instance ?S ?SHED)
            (origin ?S ?T)
            (patient ?S ?L))))
Geography.kif 6393-6404


        (instance ?T EvergreenTree)
        (instance ?L PlantLeaf))
        (sheddingLeaves ?T ?L)))
Geography.kif 6548-6553

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