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 13848-13851
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13846-13846	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 13845-13845	FoodForFn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13847-13847	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 3475-3475
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3474-3474
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3473-3473

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 13853-13858	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 16459-16464	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 17007-17028	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 has the 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 9699-9703	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 8919-8923	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 8941-8945	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 1923-1932	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 11675-11683	If snack and nonalcoholic beverage bars is an attribute of an object, then the object has the 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 6290-6300	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 11956-11961	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 4303-4312	If a physical is an instance of dish, then the physical has the 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 18015-18028	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 6827-6834	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 1685-1687	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 17900-17902	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 13861-13861	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 18123-18123	Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18138-18138	Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18104-18104	Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18128-18128	Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16542-16542	Fodder is a subclass of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18090-18090	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 18071-18071	Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18133-18133	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: