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 13813-13816
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13811-13811	The number 1 argument of FoodForFn is a subclass of 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 13810-13810	FoodForFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13812-13812	The values returned by FoodForFn are subclasses of self connected object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3471-3471
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

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 853-862	If an agent believes an object is won and the object is an instance of food for human, then there exist a contest, another agent and a process such that the other agent entered the object in the contest and the process is an instance of judging and the agent is an agent of the process and the process is a subprocess of the contest
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13818-13823	If an object is an instance of food for a kind of organism, then there exists another object such that the other object is an instance of nutrient and the other object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16407-16412	If an object is an instance of food for animal, then there exists an attribute such that the attribute is an instance of taste attribute and the attribute is an attribute of the object

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18286-18307	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and another cognitive agent employs the cognitive agent and the other cognitive agent is an instance of restaurant and the other cognitive agent is a customer of a third cognitive agent and the third cognitive agent is located at an object and the object is an instance of table, then the other cognitive agent possesses another object and the other object is an instance of kitchen area and a third object is an instance of dining area and the object is located at the third object and the cognitive agent purpose an entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the other object and the entity ends up at the object and another entity is a patient of the entity and the other entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 9664-9668	If a process is an instance of ingesting and an object is a resource for the process, then the object is an instance of food for organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9772-9776	If a process is an instance of chewing and an object is a resource for the process, then the object is an instance of food for organism
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 9793-9797	If a process is an instance of feeding and an entity is a patient of the process, then the entity is an instance of food for animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 178-182	If a catalog is an instance of menu and a kind of entity is in the catalog, then a kind of entity is a subclass of food for human
No TPTP formula. May not be expressible in strict first order.	naics.kif 7326-7340	If a collection is an instance of organization and food and beverage stores is an attribute of the collection, then there exist an agent and an object such that the object is a member of the collection and the agent is an agent of the object and there exists an entity such that the agent is an instance of selling and the entity is an instance of food for animal or the entity is an instance of beverage and the entity is a patient of the agent
No TPTP formula. May not be expressible in strict first order.	Dining.kif 564-581	If a process is an instance of food pickup and an agent is an agent of the process and the process ends up at another agent and an entity is a patient of the process, then the entity is an instance of food for human and there exist an object, another process and a third process such that the agent is located at the object and the other process is an instance of translocation and the other agent is an agent of the other process and the other process ends up at the object and the third process is an instance of getting and the third process originates at the agent and the third process ends up at the other agent and the entity is a patient of the third process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 2447-2456	If a transfer is an instance of Vending and the object transferred in the transfer is an object and the object is not an instance of currency, then the statement the object is an instance of food for human or the object is an instance of beverage has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Food.kif 34-36	If raw food is an attribute of an object, then the object is an instance of food for organism
No TPTP formula. May not be expressible in strict first order.	naics.kif 11591-11599	If snack and nonalcoholic beverage bars is an attribute of an object, then the object purpose there exist an entity and another entity such that the other entity is an instance of food for human and the entity is an instance of selling and the other entity is a patient of the entity and the object is an agent of the entity
No TPTP formula. May not be expressible in strict first order.	Dining.kif 70-81	If an agent is an instance of bakery, then there exist a process, an entity and another process such that the other process is an instance of baking and the entity is a result of the other process and the entity is an instance of food for human and the agent is an agent of the other process and the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the entity is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 6926-6936	If an agent is an instance of restaurant, then there exist a process, an entity and another entity such that the process is an instance of commercial service and the agent is an agent of the process and the process is an instance of selling and the other entity is an instance of restaurant building and the process is located at 2 and the entity is a patient of the process and the entity is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 11921-11926	If a process is an instance of cooking, then there exists an entity such that the entity is an instance of food for organism and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4907-4916	If a physical is an instance of dish, then the physical purpose there exist an entity and another entity such that the other entity is an instance of eating and the entity is a patient of the other entity and the physical is a patient of the other entity and the entity is an instance of food for animal and the entity is located at the physical
No TPTP formula. May not be expressible in strict first order.	Military.kif 62-71	If a process is an instance of food distribution operation, then there exist an entity and another entity such that the entity is an instance of food for animal and the other entity is an instance of cognitive agent and the entity is a patient of the process and the process ends up at the other entity and the other entity possesses the entity holds during immediately after the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19347-19360	If an object is an instance of sandwich, then there exist another object, a third object and a fourth object such that the other object is an instance of bread or biscuit and the third object is an instance of bread or biscuit and the fourth object is an instance of food for human and the fourth object is between the other object and the third object and the other object is not equal to the third object and the other object is not equal to the fourth object and the third object is not equal to the fourth object and the other object is a part of the object and the third object is a part of the object and the fourth object is a part of the object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7504-7511	If an agent is an instance of grocery store, then there exist a process and an entity such that the process is an instance of selling and the agent is an agent of the process and the entity is a patient of the process and the entity is an instance of food for animal
No TPTP formula. May not be expressible in strict first order.	Military.kif 210-218	If an object is an instance of military food truck, then the object is capable of doing the class described by a symbolic string as a instrument
No TPTP formula. May not be expressible in strict first order.	Dining.kif 256-261	If a collection is an instance of buffet, then for all an object if the object is a member of the collection, then the object is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1671-1673	If a collection is an instance of mini bar, then food for human is a member type of the collection
No TPTP formula. May not be expressible in strict first order.	Food.kif 92-97	If a collection is an instance of meal, then for all an object if the object is a member of the collection, then the object is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19221-19223	If an entity is an instance of prepared food, then the entity is an instance of food for organism

statement

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13826-13826	Food is equal to food for human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1748-1748	Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19477-19477	Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19492-19492	Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19442-19442	Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19482-19482	Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17814-17814	Fodder is a subclass of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19428-19428	Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3947-3947	Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3954-3954	Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19406-19406	Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 19487-19487	Pear fruit is a subclass of 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: