TreeView Knowledge Base Browser

appearance as argument number 1

(documentation FoodForFn ChineseLanguage "这是一个 Function，它用来表示 SelfConnectedObject 所含的 Nutrient，如碳水化物、蛋白质和脂肪等，它们可以由某一类有生命的 Animal 摄入体内然后经过新陈代谢成为能量和身体组织。")	chinese_format.kif 3482-3484
(documentation FoodForFn EnglishLanguage "A Function that denotes the class of all SelfConnectedObjects 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 15013-15016
(domainSubclass FoodForFn 1 Organism)	Merge.kif 15011-15011	域子類 FoodForFn, 1 and Organism
(externalImage FoodForFn "http://articulatesoftware.com/SUMOpictures/food/ food.png")	pictureList.kif 440-440	域子類 FoodForFn, 1 and Organism
(instance FoodForFn UnaryFunction)	Merge.kif 15010-15010	例 FoodForFn and UnaryFunction
(rangeSubclass FoodForFn SelfConnectedObject)	Merge.kif 15012-15012	範圍子類 FoodForFn and SelfConnectedObject

appearance as argument number 2

(format ChineseLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3468-3468
(format ChineseTraditionalLanguage FoodForFn "food for %1 ")	domainEnglishFormat.kif 3467-3467
(format EnglishLanguage FoodForFn "food for %1")	domainEnglishFormat.kif 3466-3466
(relatedInternalConcept Fodder FoodForFn)	Mid-level-ontology.kif 21624-21624	相關的內部概念飼料 and FoodForFn
(termFormat EnglishLanguage FoodForFn "food for fn")	domainEnglishFormat.kif 64872-64872	相關的內部概念飼料 and FoodForFn

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	AutonomousAgent believes Object 是韓元例 Object and food for Human Contest AutonomousAgent and Process AutonomousAgent entered Object 在 Contest 例 Process and 判斷 agent Process and AutonomousAgent 子過程 Process and Contest
(=> (instance ?FOOD (FoodForFn ?A)) (exists (?NUTRIENT) (and (instance ?NUTRIENT Nutrient) (part ?NUTRIENT ?FOOD))))	Merge.kif 15018-15023	例 Object and food for Organism Object 例 Object and Nutrient 部分 Object and Object
(=> (instance ?OBJ (FoodForFn Animal)) (exists (?ATTR) (and (instance ?ATTR TasteAttribute) (attribute ?OBJ ?ATTR))))	Merge.kif 17814-17819	例 Object and food for Animal Attribute 例 Attribute and TasteAttribute attribute Object and Attribute

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 4532-4541	attribute Object and 農産品例 Object and FruitOrVegetable 有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and food for Human
(=> (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 22218-22240	attribute CognitiveAgent and Waiter 例 CognitiveAgent and Human 採用 AutonomousAgent and CognitiveAgent 例 AutonomousAgent and 餐廳 AutonomousAgent 是 CognitiveAgent 的 customer 位於 CognitiveAgent and Object 例 Object and 表 Object entity, entity and Object 擁有 AutonomousAgent and Object 例 Object and KitchenArea 例 Object and DiningArea 位於 Object and Object 有目的 CognitiveAgent and 例 entity and 攜帶 agent entity and CognitiveAgent 起源 entity and Object 目的地 entity and Object 患者 entity and entity 例 entity and food for Human
(=> (and (instance ?ACT Ingesting) (resource ?ACT ?F)) (or (instance ?F (FoodForFn Organism)) (instance ?F Medicine)))	Merge.kif 10392-10398	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
(=> (and (instance ?CHEW Chewing) (resource ?CHEW ?FOOD)) (instance ?FOOD (FoodForFn Organism)))	Mid-level-ontology.kif 12885-12889	例 Process and 咀嚼資源 Process and Object 例 Object and food for Organism
(=> (and (instance ?F Feeding) (patient ?F ?O)) (instance ?O (FoodForFn Animal)))	Mid-level-ontology.kif 12907-12911	例 Process and 饋送患者 Process and Entity 例 Entity and food for Animal
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182	例 Catalog and Menu Entity 是在 Catalog 子類 Entity and food for Human
(=> (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	例 Collection and Organization attribute Collection and 食品和飲料店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Entity 例 AutonomousAgent and Selling 例 Entity and food for Animal 例 Entity and Beverage 患者 AutonomousAgent and Entity
(=> (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	例 Process and FoodPickup agent Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity 例 Entity and food for Human Object Process and Process 位於 AutonomousAgent and Object 例 Process and 易位 agent Process and AutonomousAgent 目的地 Process and Object 例 Process and Getting 起源 Process and AutonomousAgent 目的地 Process and AutonomousAgent 患者 Process and Entity
(=> (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 2449-2458	例 Transfer and Vending objectTransferred Transfer and Object 例 Object and 貨幣模態屬性例 Object and food for Human 例 Object and Beverage and 容易
(=> (attribute ?FOOD RawAttribute) (instance ?FOOD (FoodForFn Organism)))	Food.kif 51-53	attribute Object and 生食例 Object and food for Organism
(=> (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 21628-21637	attribute Object and 飼料有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and OrganicObject 例 Object and food for 家畜
(=> (attribute ?X ForageCrop) (hasPurpose ?X (exists (?A) (and (instance ?A Agriculture) (result ?A ?X) (instance ?X Plant) (instance ?X (FoodForFn DomesticAnimal))))))	Economy.kif 5149-5158	attribute Object and 飼料作物有目的 Object and entity 例 entity and 農業結果 entity and Object 例 Object and Plant 例 Object and food for 家畜
(=> (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	attribute Object and 小吃和非酒精飲料吧檯有目的 Object and entity entity 例 entity and food for Human 例 entity and Selling 患者 entity and entity agent entity and Object
(=> (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	例 AutonomousAgent and Bakery Process Entity and Process 例 Process and 烘烤結果 Process and Entity 例 Entity and food for Human agent Process and AutonomousAgent 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 患者 Process and Entity
(=> (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 8442-8452	例 AutonomousAgent and 餐廳 Process Entity and Object 例 Process and 商業服務 agent Process and AutonomousAgent 例 Process and Selling 例 Object and 餐廳建築 Process 是 located 在 Object 患者 Process and Entity 例 Entity and food for Human
(=> (instance ?COOK Cooking) (exists (?FOOD) (and (instance ?FOOD (FoodForFn Human)) (result ?COOK ?FOOD))))	Merge.kif 13021-13026	例 Process and Cooking Entity 例 Entity and food for Human 結果 Process and Entity
(=> (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 4878-4887	例 Physical and 碟有目的 Physical and entity entity 例 entity and Eating 患者 entity and entity 患者 entity and Physical 例 entity and food for Animal 位於 entity and Physical
(=> (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	例 Process and 食品配送業務 Entity Entity 例 Entity and food for Animal 例 Entity and CognitiveAgent 患者 Process and Entity 目的地 Process and Entity 持有期間眼前的未來何時 Process and 擁有 Entity and Entity
(=> (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 1590-1603	例 Object and 三明治 Object Object and Object 例 Object and 麵包或餅乾例 Object and 麵包或餅乾例 Object and food for Human 之間 Object, Object and Object equal Object and Object equal Object and Object equal Object and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object
(=> (instance ?STORE GroceryStore) (exists (?SELL ?FOOD) (and (instance ?SELL Selling) (agent ?SELL ?STORE) (patient ?SELL ?FOOD) (instance ?FOOD (FoodForFn Animal)))))	Mid-level-ontology.kif 8985-8992	例 AutonomousAgent and 雜貨店 Process Entity 例 Process and Selling agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and food for Animal
(=> (instance ?T MilitaryFoodTruck) (capability (KappaFn ?P (and (instance ?P Transportation) (instance ?F (FoodForFn Animal)) (patient ?P ?F))) instrument ?T))	Military.kif 287-295	例 Object and 軍用食品卡車能力卡帕 SymbolicString and 例 SymbolicString and Transportation 例 entity and food for Animal 患者 SymbolicString and entity, 儀器 and Object
(=> (instance ?TW TapWater) (modalAttribute (instance ?TW (FoodForFn Human)) Likely))	Food.kif 285-289	例 Entity and TapWater 模態屬性例 Entity and food for Human and 容易
(=> (instance ?X (DeadFn CerealGrain)) (exists (?CLASS) (and (instance ?X ?CLASS) (equal ?CLASS (FoodForFn Animal)))))	Economy.kif 4372-4377	例 Entity and 一個 dead 穀物 SelfConnectedObject 例 Entity and SelfConnectedObject equal SelfConnectedObject and food for Animal
(=> (instance ?X Buffet) (forall (?ITEM) (=> (member ?ITEM ?X) (instance ?ITEM (FoodForFn Human)))))	Dining.kif 260-265	例 Collection and Buffet Physical 會員 Physical and Collection 例 Physical and food for Human
(=> (instance ?X HotelMiniBar) (memberType ?X (FoodForFn Human)))	Hotel.kif 1734-1736	例 Collection and HotelMiniBar food for Human 是 Collection 的 member 類別

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

statement

(equal Blood (FoodForFn Mosquito))	Mid-level-ontology.kif 13968-13968	equal Blood and food for Mosquito
(equal Food (FoodForFn Human))	Merge.kif 15026-15026	equal Food and food for Human
(industryProductType FoodManufacturing (FoodForFn Animal))	Economy.kif 1869-1869	Food for Animal 是食品製造業的 industry 產品類別
(subclass Apple (FoodForFn Animal))	Food.kif 2187-2187	子類蘋果 and food for Animal
(subclass Avocado (FoodForFn Animal))	Food.kif 2289-2289	子類鱷梨 and food for Animal
(subclass Coconut (FoodForFn Animal))	Food.kif 2378-2378	子類椰子 and food for Animal
(subclass DateFruit (FoodForFn Animal))	Food.kif 2196-2196	子類日期水果 and food for Animal
(subclass Honey (FoodForFn Animal))	Mid-level-ontology.kif 23250-23250	子類蜜糖 and food for Animal
(subclass LemonFruit (FoodForFn Animal))	Food.kif 2335-2335	子類檸檬水果 and food for Animal
(subclass OrangeFruit (FoodForFn Animal))	Food.kif 2349-2349	子類橙色水果 and food for Animal
(subclass Pea (FoodForFn Animal))	Economy.kif 4450-4450	子類豌豆 and food for Animal
(subclass PearFruit (FoodForFn Animal))	Food.kif 2201-2201	子類梨果 and food for Animal
(subclass WineGrape (FoodForFn Animal))	Food.kif 3696-3696	子類釀酒葡萄 and food for Animal

Show simplified definition (without tree view)
Show simplified definition (with tree view)

KB Term:			Term intersection

English Word: