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 数量是生物的 subclass
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 是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14859-14859	FoodForFn 的所得值是自身连接物体的 subclass

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	饲料和 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	如果施事体 believes 客体是韩元和那个客体是 food for 人类的 instance，然后有存在比赛，另一个施事体， and 和过程这样那个另外施事体 entered 那个客体在那个比赛和那个过程是判断的 instance 和那个施事体是那个过程的 agent 和那个过程%n是那个比赛的subProcess
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14865-14870	如果客体是 food for 有点生物的 instance，然后有存在另一个客体这样那个另外客体是营养的 instance 和那个另外客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17631-17636	如果客体是 food for 动物的 instance，然后有存在属性这样那个属性是味觉属性的 instance 和那个属性是那个客体的 attribute

consequent

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4195-4204	如果农产品是客体的 attribute 和那个客体是水果或蔬菜的 instance，然后那个客体的目的是有存在实体这样那个实体是收获的 instance 和那个客体是那个实体的 result 和那个客体是 food for 人类的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20601-20623	如果 Waiter 是有认知的主事的 attribute 和那个有认知的主事是人类的 instance 和施事体 employs 那个有认知的主事和那个施事体是餐厅的 instance 和那个施事体是另一个有认知的主事的 customer 和那个另外有认知的主事是 located 在客体和那个客体是表的 instance，然后有存在另一个客体，实体,，，另一个实体， and 和第三客体这样那个施事体 possesses 那个第三客体和那个第三客体是 KitchenArea 的 instance 和那个另外客体是 DiningArea 的 instance 和那个客体是 located 在那个另外客体和那个有认知的主事的目的是那个实体是携带的 instance 和那个有认知的主事是那个实体的 agent 和那个第三客体是那个实体的源头和那个实体在那个客体结束和那个另外实体是那个实体的 patient 和那个另外实体是 food for 人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 10252-10258	如果过程是消化的 instance 和客体是那个过程的 resource，然后那个客体是 food for 生物的 instance 或那个客体是医学的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11554-11558	如果过程是咀嚼的 instance 和客体是那个过程的 resource，然后那个客体是 food for 生物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 11576-11580	如果过程是馈送的 instance 和实体是那个过程的 patient，然后那个实体是 food for 动物的 instance
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	如果 Catalog 是 Menu 的 instance 和有点实体是在那个 Catalog ，然后有点实体是 food for 人类的 subclass
No TPTP formula. May not be expressible in strict first order.	naics.kif 7319-7333	如果群体是机构的 instance 和食品和饮料店是那个群体的 attribute，然后有存在施事体和过程这样那个过程是那个群体的 member 和那个施事体是那个过程的 agent 和有存在实体这样那个施事体是出售的 instance 和那个实体是 food for 动物的 instance 或那个实体是饮料的 instance 和那个实体是那个施事体的 patient
No TPTP formula. May not be expressible in strict first order.	Dining.kif 610-627	如果过程是 FoodPickup 的 instance 和施事体是那个过程的 agent 和那个过程在另一个施事体结束和实体是那个过程的 patient，然后那个实体是 food for 人类的 instance 和有存在客体，另一个过程， and 和第三过程这样那个施事体是 located 在那个客体和那个另外过程是易位的 instance 和那个另外施事体是那个另外过程的 agent 和那个另外过程在那个客体结束和那个第三过程是获得的 instance 和那个施事体是那个第三过程的源头和那个第三过程在那个另外施事体结束和那个实体是那个第三过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 1986-1995	如果转移是 Vending 的 instance 和 objectTransferred 那个转移 and 客体和那个客体不是货币的 instance，然后那个客体是 food for 人类的 instance 或那个客体是饮料的 instance 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Food.kif 51-53	如果生食是客体的 attribute，然后那个客体是 food for 生物的 instance
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 20041-20050	如果饲料是客体的 attribute，然后那个客体的目的是有存在实体这样那个实体是收获的 instance 和那个客体是那个实体的 result 和那个客体是有机物体的 instance 和那个客体是 food for 家畜的 instance
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4809-4818	如果饲料作物是客体的 attribute，然后那个客体的目的是有存在实体这样那个实体是农业的 instance 和那个客体是那个实体的 result 和那个客体是植物的 instance 和那个客体是 food for 家畜的 instance
No TPTP formula. May not be expressible in strict first order.	naics.kif 11668-11676	如果小吃和非酒精饮料吧台是客体的 attribute，然后那个客体的目的是有存在实体和另一个实体这样那个另外实体是 food for 人类的 instance 和那个实体是出售的 instance 和那个另外实体是那个实体的 patient 和那个客体是那个实体的 agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	如果施事体是 Bakery 的 instance，然后有存在过程，实体， and 和另一个过程这样那个另外过程是烘烤的 instance 和那个实体是那个另外过程的 result 和那个实体是 food for 人类的 instance 和那个施事体是那个另外过程的 agent 和那个过程是商业服务的 instance 和那个施事体是那个过程的 agent 和那个过程是出售的 instance 和那个实体是那个过程的 patient
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7281-7291	如果施事体是餐厅的 instance，然后有存在过程，实体， and 和客体这样那个过程是商业服务的 instance 和那个施事体是那个过程的 agent 和那个过程是出售的 instance 和那个客体是餐厅建筑的 instance 和那个过程是 located 在那个客体和那个实体是那个过程的 patient 和那个实体是 food for 人类的 instance
No TPTP formula. May not be expressible in strict first order.	Merge.kif 12867-12872	如果过程是烹饪的 instance，然后有存在实体这样那个实体是 food for 人类的 instance 和那个实体是那个过程的 result
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4433-4442	如果物理是碟的 instance，然后那个物理的目的是有存在实体和另一个实体这样那个另外实体是进食的 instance 和那个实体是那个另外实体的 patient 和那个物理是那个另外实体的 patient 和那个实体是 food for 动物的 instance 和那个实体是 located 在那个物理
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	如果过程是食品配送业务的 instance，然后有存在实体和另一个实体这样那个实体是 food for 动物的 instance 和那个另外实体是有认知的主事的 instance 和那个实体是那个过程的 patient 和那个过程在那个另外实体结束和那个另外实体 possesses 那个实体在紧接那个过程出现的 time after holdsDuring
No TPTP formula. May not be expressible in strict first order.	Food.kif 1584-1597	如果客体是三明治的 instance，然后有存在另一个客体，第三客体， and 和第四客体这样那个另外客体是面包或饼干的 instance 和那个第三客体是面包或饼干的 instance 和那个第四客体是 food for 人类的 instance 和那个第四客体是在那个另外客体和那个第三客体 between 和那个另外客体不 equal 那个第三客体和那个另外客体不 equal 那个第四客体和那个第三客体不 equal 那个第四客体和那个另外客体是那个客体的 part 和那个第三客体是那个客体的 part 和那个第四客体是那个客体的 part
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7818-7825	如果施事体是杂货店的 instance，然后有存在过程和实体这样那个过程是出售的 instance 和那个施事体是那个过程的 agent 和那个实体是那个过程的 patient 和那个实体是 food for 动物的 instance
No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	如果客体是军用食品卡车的 instance，然后那个客体能够担当工具的角色做符号串所描述的类别
No TPTP formula. May not be expressible in strict first order.	Food.kif 285-289	如果实体是 TapWater 的 instance，然后那个实体是 food for 人类的 instance 的声明 has 容易的语气
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4035-4040	如果实体是一个 dead 谷物的 instance，然后有存在有点自身连接物体这样那个实体是有点自身连接物体的 instance 和那个有点自身连接物体 equal food for 动物
No TPTP formula. May not be expressible in strict first order.	Dining.kif 260-265	如果群体是 Buffet 的 instance，然后对所有物理如果那个物理是那个群体的 member，然后那个物理是 food for 人类的 instance
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1723-1725	如果群体是 HotelMiniBar 的 instance，然后 food for 人类是那个群体的 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	血液 equal food for Mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14873-14873	Food equal food for 人类
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1744-1744	Food for 动物是食品制造业的 industry 产品类别
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	苹果是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	鳄梨是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	椰子是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	日期水果是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21633-21633	蜜糖是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	柠檬水果是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	橙色水果是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4113-4113	豌豆是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	梨果是 food for 动物的 subclass
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	酿酒葡萄是 food for 动物的 subclass

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: