| Juice | |
| appearance as argument number 1 |
|
|
| (documentation Juice EnglishLanguage "A liquid (at room temperature) created by squeezing, crushing, or pureeing a FruitOrVegetable.") | Food.kif 589-590 | |
| (initialPart Juice FruitOrVegetable) | Food.kif 592-592 | initialPart Juice and FruitOrVegetable |
| (subclass Juice Substance) | Food.kif 591-591 | subclass Juice and Substance |
| appearance as argument number 2 |
|
|
| (rangeSubclass JuiceOfFn Juice) | Food.kif 596-596 | rangeSubclass JuiceOfFn and Juice |
|
|
|