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 14930-14933
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14928-14928	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 14927-14927	Food for fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14929-14929	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 20955-20955	Fodder is internally related to food for fn
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64901-64901	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 14935-14940	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 17731-17736	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 4410-4419	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 21519-21541	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 10313-10319	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 12378-12382	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 12400-12404	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 1979-1988	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 20959-20968	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 5024-5033	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 7981-7991	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 12938-12943	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 4428-4437	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 1584-1597	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 8518-8525	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.	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 4250-4255	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 the kind of self connected object is equal to 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 1723-1725	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 13461-13461	Blood is equal to food for mosquito
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14943-14943	Food is equal to food for human
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1744-1744	Food for animal is an industry product type of food manufacturing
No TPTP formula. May not be expressible in strict first order.	Food.kif 2180-2180	Apple is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2282-2282	Avocado is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2371-2371	Coconut is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2189-2189	Date fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22551-22551	Honey is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2328-2328	Lemon fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2342-2342	Orange fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4328-4328	Pea is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 2194-2194	Pear fruit is a subclass of food for animal
No TPTP formula. May not be expressible in strict first order.	Food.kif 3689-3689	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: