FoodForFn |
appearance as argument number 1 |
(documentation FoodForFn ChineseLanguage "这是一个 Function,它用来表示 SelfConnectedObject 所含的 Nutrient,如碳水化物、蛋白质和脂肪等,它们可以由某一类有生命的 Animal 摄入体内然后经过 新陈代谢成为能量和身体组织。") | chinese_format.kif 3482-3484 | |
(documentation FoodForFn EnglishLanguage "A Function that denotes SelfConnectedObject containing Nutrients, such as carbohydrates, proteins, and fats, that can be ingested by a the given class of living Animal and metabolized into energy and body tissue.") | Merge.kif 14860-14863 | |
(domainSubclass FoodForFn 1 Organism) | Merge.kif 14858-14858 | FoodForFn 的 1 数量 是 生物 的 subclass |
(externalImage FoodForFn "http://articulatesoftware.com/SUMOpictures/food/ food.png") | pictureList.kif 440-440 | |
(instance FoodForFn UnaryFunction) | Merge.kif 14857-14857 | FoodForFn 是 一元函数 的 instance |
(rangeSubclass FoodForFn SelfConnectedObject) | Merge.kif 14859-14859 | FoodForFn 的所得值 是 自身连接物体 的 subclass |
appearance as argument number 2 |
(format ChineseLanguage FoodForFn "food for %1 ") | domainEnglishFormat.kif 3470-3470 | |
(format ChineseTraditionalLanguage FoodForFn "food for %1 ") | domainEnglishFormat.kif 3469-3469 | |
(format EnglishLanguage FoodForFn "food for %1") | domainEnglishFormat.kif 3468-3468 | |
(relatedInternalConcept Fodder FoodForFn) | Mid-level-ontology.kif 20037-20037 | 饲料 和 FoodForFn 是 内部相关 |
(termFormat EnglishLanguage FoodForFn "food for fn") | domainEnglishFormat.kif 64878-64878 |
antecedent |
(=> (and (subjectiveAttribute ?X Won ?JUDGE) (instance ?X (FoodForFn Human))) (exists (?CONTEST ?AGENT ?PROC) (and (contestObject ?CONTEST ?X ?AGENT) (instance ?PROC Judging) (agent ?PROC ?JUDGE) (subProcess ?PROC ?CONTEST)))) |
Dining.kif 900-909 | |
(=> (instance ?FOOD (FoodForFn ?A)) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD)))) |
Merge.kif 14865-14870 | |
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR)))) |
Merge.kif 17631-17636 |
consequent |
statement |