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	已准备食物是 Food 的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 309-309	已准备食物是混合物的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 389-389	饮料是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1555-1555	面包或饼干是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2435-2435	Chocolate 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1575-1575	CookedDish 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2125-2125	CuredMeat 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2817-2817	乳制品是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1599-1599	面团是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 218-218	饮用水是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2778-2778	FermentedFood 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1469-1469	面粉是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1748-1748	Jam 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2737-2737	Pasta 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3322-3322	Raisin 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2061-2061	Sauce 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3440-3440	Sorbet 是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 1618-1618	高汤是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4359-4359	香料是已准备食物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3508-3508	Tofu 是已准备食物的 subclass
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 是 SetMenu 的 instance 和施事体 offers 拍卖样品在那个 Catalog 和有点实体是在那个 Catalog 和有点实体是已准备食物的 subclass 和物理是类的 instance 和另一个物理是那个有点实体的 instance 和那个物理不 equal 那个另外物理和那个物理是对于那个施事体1 的 price 货币测量和那个另外物理是对于那个施事体2 的 price 另一个货币测量，然后那个货币测量 equal 那个另外货币测量
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4384-4399	如果过程是放的 instance 和实体是那个过程的 patient 和那个实体是香料的 instance 和那个过程在客体结束和那个客体是已准备食物的 instance，然后有存在另一个过程和属性这样那个另外过程是内部变化的 instance 和那个客体是那个另外过程的 patient 和那个属性是那个另外过程的 result 和那个属性是那个客体的 attribute 和那个属性是 FlavourAttribute 的 instance 或那个属性是颜色属性的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 319-324	如果实体是已准备食物的 instance，然后有存在过程这样那个过程是有意图过程的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Food.kif 315-317	如果实体是已准备食物的 instance，然后那个实体是 food for 人类的 instance

consequent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 1130-1134	如果属性是客体的 attribute 和那个属性是 FoodAttribute 的 instance，然后那个客体是已准备食物的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 1262-1266	如果属性是客体的 attribute 和那个属性是 Cuisine 的 instance，然后那个客体是已准备食物的 instance
No TPTP formula. May not be expressible in strict first order.	Food.kif 355-363	如果物理是 Microwave 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是已准备食物的 instance 和那个另外实体是加热的 instance 和那个物理是导致那个另外实体的 instrument 和那个实体是那个另外实体的 patient
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 3052-3060	如果物理是 FoodRating 的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是分类的 instance 和那个实体在那个另外实体结束和那个物理是那个实体的 patient 和那个另外实体是已准备食物的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4374-4382	如果物理是香料的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个实体是放的 instance 和那个物理是那个实体的 patient 和那个实体在那个另外实体结束和那个另外实体是已准备食物的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1969-1987	如果过程是 RoomService 的 instance，然后有存在施事体，实体,，，有认知的主事,，，另一个过程,，，另一个实体,，，第三过程， and 和客体这样那个施事体是那个有认知的主事的 customer 和那个施事体是那个过程的 agent 和那个另外过程是要求的 instance 和那个有认知的主事是那个另外过程的 agent 和那个另外实体是那个另外过程的 patient 和那个另外实体表达那个实体和那个实体是已准备食物的 instance 和那个有认知的主事是 located 在那个客体和那个客体是 HotelUnit 的 instance 和那个第三过程是 DeliveryService 的 instance 和那个实体是那个第三过程的 patient 和那个第三过程在那个客体结束和那个另外过程出现的 time 的开始%n在那个第三过程出现的 time 的开始before发生
No TPTP formula. May not be expressible in strict first order.	Food.kif 331-348	如果客体是 WetBar 的 instance，然后有存在另一个客体和第三客体这样那个另外客体是洗手盆的 instance 和那个另外客体是那个客体的 part 和那个第三客体是客体的 instance 和平面是那个第三客体的 attribute 和那个第三客体的目的是有存在实体和另一个实体这样那个实体是制作的 instance 和那个另外实体是那个实体的 result 和那个另外实体是已准备食物的 instance 或那个另外实体是饮料的 instance 和那个实体是 located 在那个第三客体和那个第三客体是那个客体的 part

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: