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 | JuiceOfFn 的 1 数量 是 水果或蔬菜 的 subclass |
(instance JuiceOfFn UnaryFunction) | Food.kif 2598-2598 | JuiceOfFn 是 一元函数 的 instance |
(rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | JuiceOfFn 的所得值 是 Juice 的 subclass |
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 |