| 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 | The number 1 argument of juice of fn is a subclass of fruit or vegetable |
| (instance JuiceOfFn UnaryFunction) | Food.kif 2598-2598 | Juice of fn is an instance of unary function |
| (rangeSubclass JuiceOfFn Juice) | Food.kif 2600-2600 | The values returned by juice of fn are subclasses of juice |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3708-3708 | |
| (format ChineseTraditionalLanguage JuiceOfFn "%1 的 juice ") | domainEnglishFormat.kif 3707-3707 | |
| (format EnglishLanguage JuiceOfFn "the juice of %1") | domainEnglishFormat.kif 3706-3706 | |
| (termFormat EnglishLanguage JuiceOfFn "juice of fn") | domainEnglishFormat.kif 65107-65107 |
| 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 |
|
|
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