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 | Die Zahl 1 Argument von FoodForFn ist eine teilkategorie von Organism %n{nicht} |
(externalImage FoodForFn "http://articulatesoftware.com/SUMOpictures/food/ food.png") | pictureList.kif 440-440 | |
(instance FoodForFn UnaryFunction) | Merge.kif 14857-14857 | FoodForFn ist ein fall von UnaryFunction %n{nicht} |
(rangeSubclass FoodForFn SelfConnectedObject) | Merge.kif 14859-14859 | Die werte die FoodForFn zurueckgibt sind teilkategorien von SelfConnectedObject |
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 | Fodder ist innerlich verwandt mit FoodForFn %n{nicht} |
(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 |
(=> (and (attribute ?X Produce) (instance ?X FruitOrVegetable)) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X (FoodForFn Human)))))) |
Economy.kif 4195-4204 |
|
(=> (and (attribute ?X Waiter) (instance ?X Human) (employs ?REST ?X) (instance ?REST Restaurant) (customer ?CUST ?REST) (located ?CUST ?TABLE) (instance ?TABLE Table)) (exists (?DINING ?C ?FOOD ?KITCHEN) (and (possesses ?REST ?KITCHEN) (instance ?KITCHEN KitchenArea) (instance ?DINING DiningArea) (located ?TABLE ?DINING) (hasPurpose ?X (and (instance ?C Carrying) (agent ?C ?X) (origin ?C ?KITCHEN) (destination ?C ?TABLE) (patient ?C ?FOOD) (instance ?FOOD (FoodForFn Human))))))) |
Mid-level-ontology.kif 20601-20623 |
|
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine))) |
Merge.kif 10252-10258 | |
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism))) |
Mid-level-ontology.kif 11554-11558 |
|
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal))) |
Mid-level-ontology.kif 11576-11580 | |
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human))) |
Dining.kif 178-182 |
|
(=> (and (instance ?ORG Organization) (attribute ?ORG FoodAndBeverageStores)) (exists (?EV ?MEM) (and (member ?MEM ?ORG) (agent ?MEM ?EV) (exists (?THING) (and (instance ?EV Selling) (or (instance ?THING (FoodForFn Animal)) (instance ?THING Beverage)) (patient ?EV ?THING)))))) |
naics.kif 7319-7333 |
|
(=> (and (instance ?P FoodPickup) (agent ?P ?AGENT) (destination ?P ?CUST) (patient ?P ?FOOD)) (and (instance ?FOOD (FoodForFn Human)) (exists (?LOC ?T ?G) (and (located ?AGENT ?LOC) (instance ?T Translocation) (agent ?T ?CUST) (destination ?T ?LOC) (instance ?G Getting) (origin ?G ?AGENT) (destination ?G ?CUST) (patient ?G ?FOOD))))) |
Dining.kif 610-627 |
|
(=> (and (instance ?V Vending) (objectTransferred ?V ?O) (not (instance ?O Currency))) (modalAttribute (or (instance ?O (FoodForFn Human)) (instance ?O Beverage)) Likely)) |
Mid-level-ontology.kif 1986-1995 | |
(=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism))) |
Food.kif 51-53 | |
(=> (attribute ?X Fodder) (hasPurpose ?X (exists (?H) (and (instance ?H Harvesting) (result ?H ?X) (instance ?X OrganicObject) (instance ?X (FoodForFn DomesticAnimal)))))) |
Mid-level-ontology.kif 20041-20050 |
|
(=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal)))))) |
Economy.kif 4809-4818 |
|
(=> (attribute ?X SnackAndNonalcoholicBeverageBars) (hasPurpose ?X (exists (?SELL ?FOOD) (and (instance ?FOOD (FoodForFn Human)) (instance ?SELL Selling) (patient ?SELL ?FOOD) (agent ?SELL ?X))))) |
naics.kif 11668-11676 |
|
(=> (instance ?BAKERY Bakery) (exists (?SERVICE ?FOOD ?BAKE) (and (instance ?BAKE Baking) (result ?BAKE ?FOOD) (instance ?FOOD (FoodForFn Human)) (agent ?BAKE ?BAKERY) (instance ?SERVICE CommercialService) (agent ?SERVICE ?BAKERY) (instance ?SERVICE Selling) (patient ?SERVICE ?FOOD)))) |
Dining.kif 70-81 |
|
(=> (instance ?C Restaurant) (exists (?S ?F ?B) (and (instance ?S CommercialService) (agent ?S ?C) (instance ?S Selling) (instance ?B RestaurantBuilding) (eventLocated ?S ?B) (patient ?S ?F) (instance ?F (FoodForFn Human))))) |
Mid-level-ontology.kif 7281-7291 |
|
(=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD)))) |
Merge.kif 12867-12872 | |
(=> (instance ?D Dish) (hasPurpose ?D (exists (?F ?E) (and (instance ?E Eating) (patient ?E ?F) (patient ?E ?D) (instance ?F (FoodForFn Animal)) (located ?F ?D))))) |
Mid-level-ontology.kif 4433-4442 |
|
(=> (instance ?FD FoodDistributionOperation) (exists (?FOOD ?CA) (and (instance ?FOOD (FoodForFn Animal)) (instance ?CA CognitiveAgent) (patient ?FD ?FOOD) (destination ?FD ?CA) (holdsDuring (ImmediateFutureFn (WhenFn ?FD)) (possesses ?CA ?FOOD))))) |
Military.kif 62-71 |
|
(=> (instance ?S Sandwich) (exists (?B1 ?B2 ?F) (and (instance ?B1 BreadOrBiscuit) (instance ?B2 BreadOrBiscuit) (instance ?F (FoodForFn Human)) (between ?B1 ?F ?B2) (not (equal ?B1 ?B2)) (not (equal ?B1 ?F)) (not (equal ?B2 ?F)) (part ?B1 ?S) (part ?B2 ?S) (part ?F ?S)))) |
Food.kif 1584-1597 |
|
(=> (instance ?STORE GroceryStore) (exists (?SELL ?FOOD) (and (instance ?SELL Selling) (agent ?SELL ?STORE) (patient ?SELL ?FOOD) (instance ?FOOD (FoodForFn Animal))))) |
Mid-level-ontology.kif 7818-7825 |
|
(=> (instance ?T MilitaryFoodTruck) (capability (KappaFn ?P (and (instance ?P Transportation) (instance ?F (FoodForFn Animal)) (patient ?P ?F))) instrument ?T)) |
Military.kif 210-218 |
|
(=> (instance ?TW TapWater) (modalAttribute (instance ?TW (FoodForFn Human)) Likely)) |
Food.kif 285-289 | |
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal))))) |
Economy.kif 4035-4040 |
|
(=> (instance ?X Buffet) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human))))) |
Dining.kif 260-265 |
|
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human))) |
Hotel.kif 1723-1725 |
|
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |
statement |