TreeView Knowledge Base Browser

appearance as argument number 1

(externalImage Grape "http://articulatesoftware.com/SUMOpictures/food/fruit/ grapes/ grape_1.png")	pictureList.kif 470-470
(subclass Grape Fruit)	Food.kif 2295-2295	Grape is a subclass of fruit

appearance as argument number 2

(subclass WineGrape Grape)	Food.kif 3697-3697	Wine grape is a subclass of grape
(termFormat ChineseLanguage Grape "葡萄")	domainEnglishFormat.kif 26441-26441	Wine grape is a subclass of grape
(termFormat ChineseTraditionalLanguage Grape "葡萄")	domainEnglishFormat.kif 26440-26440	Wine grape is a subclass of grape
(termFormat EnglishLanguage Grape "grape")	domainEnglishFormat.kif 26439-26439	Wine grape is a subclass of grape

consequent

(=>
    (instance ?R Raisin)
    (exists (?D ?G)
        (and
            (instance ?D Drying)
            (instance ?G Grape)
            (patient ?D ?G)
            (result ?D ?R))))

Food.kif 3332-3339

If an entity is an instance of raisin,
then there exist a process and another entity such that the process is an instance of drying and the other entity is an instance of grape and the other entity is a patient of the process and the entity is a result of the process

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

KB Term:			Term intersection

English Word: