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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Juice

appearance as argument number 1

(documentation Juice EnglishLanguage "A liquid (at room temperature) created by squeezing, crushing, or pureeing a FruitOrVegetable.") Food.kif 571-572
(initialPart Juice FruitOrVegetable) Food.kif 574-574 %每个 Juice水果或蔬菜initially part
(subclass Juice Substance) Food.kif 573-573 Juice物质subclass

appearance as argument number 2

(rangeSubclass JuiceOfFn Juice) Food.kif 578-578 JuiceOfFn 的所得值 是 Juicesubclass

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