Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| JuiceOfFn |
| appearance as argument number 1 |
|
| (instance JuiceOfFn UnaryFunction) | Food.kif 2623-2623 | Juice of fn is an instance of unary function |
| (domainSubclass JuiceOfFn 1 FruitOrVegetable) | Food.kif 2624-2624 | The number 1 argument of juice of fn is a subclass of fruit or vegetable |
| (rangeSubclass JuiceOfFn Juice) | Food.kif 2625-2625 | The values returned by juice of fn are subclasses of juice |
| (documentation JuiceOfFn EnglishLanguage "This function defines the class of Juice created from a given FruitOrVegetable.") | Food.kif 2626-2627 | The values returned by juice of fn are subclasses of juice |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage JuiceOfFn "the juice of %1") | domainEnglishFormat.kif 3710-3710 | |
| (format ChineseTraditionalLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3711-3711 | |
| (format ChineseLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3712-3712 | |
| (termFormat EnglishLanguage JuiceOfFn "juice of fn") | domainEnglishFormat.kif 65062-65062 |
| antecedent |
|
|
| (=> (instance ?X (JuiceOfFn ?Y)) (exists (?Z ?P) (and (instance ?Z ?Y) (instance ?P Motion) (resource ?P ?Z) (result ?P ?X)))) |
Food.kif 2628-2635 | If X is an instance of the juice of Y, then there exist Z, W such that Z is an instance of Y, W is an instance of motion, Z is a resource for W, and X is a result of W |
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3731-3738 | If X is an instance of fermentation, Y is a patient of X, Y is an instance of the juice of wine grape, and Z is a result of X, then Z is an instance of wine |
| consequent |
|
|
| (=> (instance ?W Wine) (exists (?F ?WG) (and (instance ?F Fermentation) (instance ?WG (JuiceOfFn WineGrape)) (resource ?F ?WG) (result ?F ?W)))) |
Society.kif 1180-1187 | If X is an instance of wine, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of wine grape, Z is a resource for Y, and X is a result of Y |
| (=> (instance ?C Cider) (exists (?F ?A) (and (instance ?F Fermentation) (instance ?A (JuiceOfFn Apple)) (resource ?F ?A) (result ?F ?C)))) |
Society.kif 1194-1201 | If X is an instance of cider, then there exist Y, Z such that Y is an instance of fermentation, Z is an instance of the juice of apple, Z is a resource for Y, and X is a result of Y |
|