TreeView Knowledge Base Browser - SweetCherryTree

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

SweetCherryTree

Sigma KEE - SweetCherryTree

SweetCherryTree(sweet cherry tree)

appearance as argument number 1

(documentation SweetCherryTree EnglishLanguage "SweetCherryTree grows in Europe. Its technical name is Prunus avium. It is farmed mostly as a fruit-bearing tree. It's timber is used for wood working.[Wikipedia]")	Geography.kif 6500-6501
(subclass SweetCherryTree DeciduousTree)	Geography.kif 6499-6499	Sweet cherry tree is a subclass of deciduous tree

appearance as argument number 2

(termFormat EnglishLanguage SweetCherryTree "sweet cherry tree")

domainEnglishFormat.kif 65567-65567

consequent

(=>
    (and
        (equal ?W
            (OrganicObjectFn ?S))
        (subclass ?W CherryWood)
        (subclass ?S PlantStem))
    (or
        (initialPart ?S BlackCherryTree)
        (initialPart ?S SweetCherryTree)))

Economy.kif 5326-5333

If a kind of object is equal to Object made from another kind of object and a kind of object is a subclass of cherry wood and another kind of object is a subclass of plant stem,
then every the other kind of object is initially part of a black cherry tree or every the other kind of object is initially part of a sweet cherry tree

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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