PreparedFood - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 310-312
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 909-909
No TPTP formula. May not be expressible in strict first order.	Food.kif 308-308	子類已準備食物 and Food
No TPTP formula. May not be expressible in strict first order.	Food.kif 309-309	子類已準備食物 and Mixture

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 389-389	子類 Beverage and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 1555-1555	子類麵包或餅乾 and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 2435-2435	子類 Chocolate and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 1575-1575	子類 CookedDish and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 2125-2125	子類 CuredMeat and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 2817-2817	子類乳製品 and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 1599-1599	子類麵團 and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	子類飲用水 and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 2778-2778	子類 FermentedFood and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 1469-1469	子類麵粉 and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 1748-1748	子類 Jam and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 2737-2737	子類 Pasta and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 3322-3322	子類 Raisin and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 2061-2061	子類 Sauce and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 3440-3440	子類 Sorbet and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 1618-1618	子類高湯 and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4359-4359	子類香料 and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 3508-3508	子類 Tofu and 已準備食物
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47210-47210
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47209-47209
No TPTP formula. May not be expressible in strict first order.	Food.kif 313-313
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47208-47208

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-201	例 Catalog and SetMenu AutonomousAgent offers 拍賣樣品在 Catalog Entity 是在 Catalog 子類 Entity and 已準備食物例 Physical and Class 例 Physical and Entity 等於 Physical and Physical Physical 是對於 AutonomousAgent1 的 price CurrencyMeasure Physical 是對於 AutonomousAgent2 的 price CurrencyMeasure 等於 CurrencyMeasure and CurrencyMeasure
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	例 Process and Putting 患者 Process and Entity 例 Entity and 香料目的地 Process and Object 例 Object and 已準備食物 Process Attribute 例 Process and InternalChange 患者 Process and Object 結果 Process and Attribute attribute Object and Attribute 例 Attribute and FlavourAttribute 例 Attribute and ColorAttribute
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	例 Entity and 已準備食物 Process 例 Process and IntentionalProcess 結果 Process and Entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 315-317	例 Entity and 已準備食物例 Entity and food for Human

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1130-1134	attribute Object and Attribute 例 Attribute and FoodAttribute 例 Object and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1262-1266	attribute Object and Attribute 例 Attribute and Cuisine 例 Object and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Food.kif 355-363	例 Physical and Microwave 有目的 Physical and entity entity 例 entity and 已準備食物例 entity and Heating 儀器 entity and Physical 患者 entity and entity
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3052-3060	例 Physical and FoodRating 有目的 Physical and entity entity 例 entity and Classifying 目的地 entity and entity 患者 entity and Physical 例 entity and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	例 Physical and 香料有目的 Physical and entity entity 例 entity and Putting 患者 entity and Physical 目的地 entity and entity 例 entity and 已準備食物
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	例 Process and RoomService AutonomousAgent Entity, CognitiveAgent, Process, Entity, Process and Object AutonomousAgent 是 CognitiveAgent 的 customer agent Process and AutonomousAgent 例 Process and Requesting agent Process and CognitiveAgent 患者 Process and Entity 代表 Entity and Entity 例 Entity and 已準備食物位於 CognitiveAgent and Object 例 Object and HotelUnit 例 Process and DeliveryService 患者 Process and Entity 目的地 Process and Object 之前開始何時 Process and 開始何時 Process
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	例 Object and WetBar Object Object 例 Object and 洗手盆部分 Object and Object 例 Object and Object attribute Object and 平面有目的 Object and entity entity 例 entity and Making 結果 entity and entity 例 entity and 已準備食物例 entity and Beverage entity 是 located 在 Object 部分 Object and Object

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: