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 15013-15016
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15011-15011	The number 1 argument of food for fn is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 440-440	The number 1 argument of food for fn is a subclass of organism
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15010-15010	Food for fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15012-15012	The values returned by food for fn are subclasses of self connected object

appearance as argument number 2

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.	domainEnglishFormat.kif 3467-3467
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3466-3466
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21624-21624	Fodder is internally related to food for fn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64872-64872	Fodder is internally related to food for fn

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 900-909	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 15018-15023	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 17814-17819	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.	Economy.kif 4532-4541	If produce is an attribute of an object and the object is an instance of fruit or vegetable, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22218-22240	If waiter is an attribute of a cognitive agent and the cognitive agent is an instance of human and an agent employs the cognitive agent and the agent is an instance of restaurant and the agent is a customer of another cognitive agent and the other cognitive agent is located at an object and the object is an instance of table, then there exist another object, an entity,, , another entity and a third object such that the agent possesses the third object and the third object is an instance of kitchen area and the other object is an instance of dining area and the object is located at the other object and the cognitive agent has the purpose the entity is an instance of carrying and the cognitive agent is an agent of the entity and the entity originates at the third object and the entity ends up at the object and the other 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 10392-10398	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 or the object is an instance of medicine
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 12885-12889	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 12907-12911	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 7319-7333	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 a process such that the process is a member of the collection and the agent is an agent of the process 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 610-627	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 2449-2458	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 51-53	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.	Mid-level-ontology.kif 21628-21637	If fodder is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of harvesting and the object is a result of the entity and the object is an instance of organic object and the object is an instance of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 5149-5158	If forage crop is an attribute of an object, then the object has the purpose there exists an entity such that the entity is an instance of agriculture and the object is a result of the entity and the object is an instance of plant and the object is an instance of food for domestic animal
No TPTP formula. May not be expressible in strict first order.	naics.kif 11668-11676	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 8442-8452	If an agent is an instance of restaurant, then there exist a process, an entity and an object 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 object is an instance of restaurant building and the process is located at the object 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 13021-13026	If a process is an instance of cooking, then there exists an entity such that the entity is an instance of food for human and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 4878-4887	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.	Food.kif 1590-1603	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 equal the other object and the third object and equal the other object and the fourth object and equal the third object and 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 8985-8992	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 287-295	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.	Food.kif 285-289	If an entity is an instance of tap water, then the statement the entity is an instance of food for human has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4372-4377	If an entity is an instance of a dead cereal grain, then there exists a kind of self connected object such that the entity is an instance of a kind of self connected object and equal the kind of self connected object and food for animal
No TPTP formula. May not be expressible in strict first order.	Dining.kif 260-265	If a collection is an instance of buffet, then for all a physical if the physical is a member of the collection, then the physical is an instance of food for human
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1734-1736	If a collection is an instance of mini bar, then food for human is a member type of the collection

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 13968-13968	equal blood and food for mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 15026-15026	equal food and food for human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1869-1869	Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order.	Food.kif 2187-2187	Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2289-2289	Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2378-2378	Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2196-2196	Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 23250-23250	Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2335-2335	Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2349-2349	Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4450-4450	Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2201-2201	Pear fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3696-3696	Wine grape 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: