FoodForFn - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3482-3484
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14860-14863
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14858-14858	域子類 FoodForFn, 1 and Organism
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 440-440
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14857-14857	例 FoodForFn and UnaryFunction
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14859-14859	範圍子類 FoodForFn and SelfConnectedObject

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3470-3470
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3469-3469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3468-3468
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20037-20037	相關的內部概念飼料 and FoodForFn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64878-64878

antecedent

No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14865-14870	例 Object and food for Organism Object 例 Object and Nutrient 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17631-17636	例 Object and food for Animal Attribute 例 Attribute and TasteAttribute attribute Object and Attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	attribute Object and 農産品例 Object and FruitOrVegetable 有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and food for Human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	例 Process and Ingesting 資源 Process and Object 例 Object and food for Organism 例 Object and 醫學
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11554-11558	例 Process and 咀嚼資源 Process and Object 例 Object and food for Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11576-11580	例 Process and 饋送患者 Process and Entity 例 Entity and food for Animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	例 Catalog and Menu Entity 是在 Catalog 子類 Entity and food for Human
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	例 Transfer and Vending objectTransferred Transfer and Object 例 Object and 貨幣模態屬性例 Object and food for Human 例 Object and Beverage and 容易
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	attribute Object and 生食例 Object and food for Organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20041-20050	attribute Object and 飼料有目的 Object and entity 例 entity and 收穫結果 entity and Object 例 Object and OrganicObject 例 Object and food for 家畜
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	attribute Object and 飼料作物有目的 Object and entity 例 entity and 農業結果 entity and Object 例 Object and Plant 例 Object and food for 家畜
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7281-7291	例 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
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12867-12872	例 Process and Cooking Entity 例 Entity and food for Human 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4433-4442	例 Physical and 碟有目的 Physical and entity entity 例 entity and Eating 患者 entity and entity 患者 entity and Physical 例 entity and food for Animal 位於 entity and Physical
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Food.kif 1584-1597	例 Object and 三明治 Object Object and Object 例 Object and 麵包或餅乾例 Object and 麵包或餅乾例 Object and food for Human 之間 Object, Object and Object 等於 Object and Object 等於 Object and Object 等於 Object and Object 部分 Object and Object 部分 Object and Object 部分 Object and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7818-7825	例 AutonomousAgent and 雜貨店 Process Entity 例 Process and Selling agent Process and AutonomousAgent 患者 Process and Entity 例 Entity and food for Animal
No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	例 Object and 軍用食品卡車能力卡帕 SymbolicString and 例 SymbolicString and Transportation 例 entity and food for Animal 患者 SymbolicString and entity, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Food.kif 285-289	例 Entity and TapWater 模態屬性例 Entity and food for Human and 容易
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4035-4040	例 Entity and 一個 dead 穀物 SelfConnectedObject 例 Entity and SelfConnectedObject 等於 SelfConnectedObject and food for Animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 260-265	例 Collection and Buffet Physical 會員 Physical and Collection 例 Physical and food for Human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1723-1725	例 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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12637-12637	等於 Blood and food for Mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14873-14873	等於 Food and food for Human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1744-1744	Food for Animal 是食品製造業的 industry 產品類別
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	子類蘋果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	子類鱷梨 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	子類椰子 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	子類日期水果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21633-21633	子類蜜糖 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	子類檸檬水果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	子類橙色水果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4113-4113	子類豌豆 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	子類梨果 and food for Animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	子類釀酒葡萄 and food for Animal

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

KB Term:			Term intersection

English Word: