JuiceOfFn |
appearance as argument number 1 |
(documentation JuiceOfFn EnglishLanguage "This function defines the class of Juice created from a given FruitOrVegetable.") | Food.kif 2601-2602 | |
(domainSubclass JuiceOfFn 1 FruitOrVegetable) | Food.kif 2599-2599 | |
(instance JuiceOfFn UnaryFunction) | Food.kif 2598-2598 | |
(rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 |
appearance as argument number 2 |
(format ChineseLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3714-3714 | |
(format ChineseTraditionalLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3713-3713 | |
(format EnglishLanguage JuiceOfFn "the juice of %1") | domainEnglishFormat.kif 3712-3712 | |
(termFormat EnglishLanguage JuiceOfFn "juice of fn") | domainEnglishFormat.kif 65059-65059 |
antecedent |
(=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3692-3699 | |
(=> (instance ?X (JuiceOfFn ?Y)) (exists (?Z ?P) (and (instance ?Z ?Y) (instance ?P Motion) (resource ?P ?Z) (result ?P ?X)))) |
Food.kif 2603-2610 |