| appearance as argument number 1 |
|
| (documentation JuiceOfFn EnglishLanguage "This function defines the class of Juice created from a given FruitOrVegetable.") | Food.kif 579-580 | |
| (domainSubclass JuiceOfFn 1 FruitOrVegetable) | Food.kif 577-577 | The number 1 argument of JuiceOfFn is a subclass of fruit or vegetable |
| (instance JuiceOfFn UnaryFunction) | Food.kif 576-576 | JuiceOfFn is an instance of unary function |
| (rangeSubclass JuiceOfFn Juice) | Food.kif 578-578 | The values returned by JuiceOfFn are subclasses of Juice |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3719-3719 | |
| (format ChineseTraditionalLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3718-3718 | |
| (format EnglishLanguage JuiceOfFn "the juice of %1") | domainEnglishFormat.kif 3717-3717 |
| antecedent |
|
|
| (=> (and (instance ?F Fermentation) (patient ?F (JuiceOfFn ?X)) (instance ?X WineGrape) (result ?F ?W)) (instance ?W Wine)) |
Food.kif 1105-1112 |
|
| (=> (instance ?X (JuiceOfFn ?Y)) (exists (?Z ?P) (and (instance ?Z ?Y) (instance ?P Motion) (resource ?P ?Z) (result ?P ?X)))) |
Food.kif 581-588 |
|
|
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