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


KB Term:  Term intersection
English Word: 

Sigma KEE - OrangeColor
OrangeColor(orange color)

appearance as argument number 1
-------------------------


(instance OrangeColor SecondaryColor) Mid-level-ontology.kif 21376-21376 Orange color is an instance of secondary color
(instance OrangeColor SpectralColor) Mid-level-ontology.kif 21377-21377 Orange color is an instance of spectral color
(documentation OrangeColor EnglishLanguage "A SecondaryColor that results from mixing Red and Yellow and resembles the color of a ripe orange fruit.") Mid-level-ontology.kif 21378-21379 Orange color is an instance of spectral color
(externalImage OrangeColor "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Ambersweet_oranges.jpg") pictureList.kif 1881-1881 Orange color is an instance of spectral color
(externalImage OrangeColor "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ OrangeBloss_wb.jpg") pictureList.kif 2274-2274 Orange color is an instance of spectral color

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


(termFormat EnglishLanguage OrangeColor "orange color") domainEnglishFormat.kif 42395-42395
(termFormat ChineseTraditionalLanguage OrangeColor "橙色") domainEnglishFormat.kif 42396-42396
(termFormat ChineseLanguage OrangeColor "橙色") domainEnglishFormat.kif 42397-42397

consequent
-------------------------


(=>
    (and
        (instance ?X OrangeFruit)
        (part ?S ?X)
        (instance ?S PeelOrRind))
    (attribute ?S OrangeColor))
Food.kif 2353-2358 If X is an instance of orange fruit, Y is a part of X, and Y is an instance of peel or rind, then orange color is an attribute of Y


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