| appearance as argument number 1 |
|
| (documentation JuiceOfFn EnglishLanguage "This function defines the class of Juice created from a given FruitOrVegetable.") | Food.kif 2608-2609 | |
| (domainSubclass JuiceOfFn 1 FruitOrVegetable) | Food.kif 2606-2606 | The number 1 argument of juice of fn is a subclass of fruit or vegetable |
| (instance JuiceOfFn UnaryFunction) | Food.kif 2605-2605 | Juice of fn is an instance of unary function |
| (rangeSubclass JuiceOfFn Juice) | Food.kif 2607-2607 | The values returned by juice of fn are subclasses of juice |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3712-3712 | |
| (format ChineseTraditionalLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3711-3711 | |
| (format EnglishLanguage JuiceOfFn "the juice of %1") | domainEnglishFormat.kif 3710-3710 | |
| (termFormat EnglishLanguage JuiceOfFn "juice of fn") | domainEnglishFormat.kif 65082-65082 |
| antecedent |
|
|
| (=> (and (instance ?F Fermentation) (patient ?F ?X) (instance ?X (JuiceOfFn WineGrape)) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 3699-3706 |
|
| (=> (instance ?X (JuiceOfFn ?Y)) (exists (?Z ?P) (and (instance ?Z ?Y) (instance ?P Motion) (resource ?P ?Z) (result ?P ?X)))) |
Food.kif 2610-2617 |
|
|
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