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


KB Term:  Term intersection
English Word: 

  OrangeFruit

 Sigma KEE - OrangeFruit
OrangeFruit(orange fruit)
Jaffa_orange, Seville_orange, Valencia_orange, bitter_orange, clementine, mandarin, mandarin_orange, navel_orange, orange, satsuma, sour_orange, sweet_orange, tangerine, temple_orange

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


(subclass OrangeFruit CitrusFruit) Food.kif 2361-2361 Orange fruit is a subclass of citrus fruit
(subclass OrangeFruit
    (FoodForFn Animal))		 Food.kif 2362-2362 Orange fruit is a subclass of food for animal
(documentation OrangeFruit EnglishLanguage "A citrus FruitOrVegetable that has an OrangeColor skin and a sweet, acidic flavor.") Food.kif 2363-2364 Orange fruit is a subclass of food for animal
(externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Ambersweet_oranges.jpg") pictureList.kif 870-870 Orange fruit is a subclass of food for animal
(externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ b/ b0/ OrangeBloss_wb.jpg") pictureList.kif 906-906 Orange fruit is a subclass of food for animal
(externalImage OrangeFruit "http://upload.wikimedia.org/wikipedia/commons/ thumb/ 5/ 5a/ Oranges_and_orange_juice.jpg/ 393px_Oranges_and_orange_juice.jpg") pictureList.kif 933-933 Orange fruit is a subclass of food for animal

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


(termFormat EnglishLanguage OrangeFruit "orange fruit") domainEnglishFormat.kif 42401-42401
(termFormat ChineseTraditionalLanguage OrangeFruit "橙色水果") domainEnglishFormat.kif 42402-42402
(termFormat ChineseLanguage OrangeFruit "橙色水果") domainEnglishFormat.kif 42403-42403

antecedent
-------------------------


(=>
    (and
        (instance ?X OrangeFruit)
        (part ?S ?X)
        (instance ?S PeelOrRind))
    (attribute ?S OrangeColor))		 Food.kif 2366-2371 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 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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners