TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14872-14872
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14873-14873	Food is equal to food for human
No TPTP formula. May not be expressible in strict first order.	Merge.kif 14874-14874	Food is a subclass of self connected object

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Merge.kif 14683-14683	Nutrient is internally related to food
No TPTP formula. May not be expressible in strict first order.	Food.kif 294-294	Food from plant is a subclass of food
No TPTP formula. May not be expressible in strict first order.	Food.kif 291-291	Meat is a subclass of food
No TPTP formula. May not be expressible in strict first order.	Food.kif 308-308	Prepared food is a subclass of food
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 64877-64877
No TPTP formula. May not be expressible in strict first order.	french_format.kif 690-690
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 221-221
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 224-224
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 642-642
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 226-226
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 259-259
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 711-711
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 225-225

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Food.kif 464-464

The number 1 argument of roasted to temperature is an instance of food

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 437-445	If decaf is an attribute of a substance and the substance is an instance of food, then there doesn't exist another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 96-105	If a process is an instance of curing food and an entity is an instance of food and the entity is a patient of the process, then there exists another process such that the other process is an instance of drying and the other process is a subprocess of the process and the entity is a patient of the other process
No TPTP formula. May not be expressible in strict first order.	Food.kif 411-418	If a substance is an instance of food and caffeinated is an attribute of the substance, then there exists another substance such that the other substance is an instance of caffeine and the other substance is a piece of the substance
No TPTP formula. May not be expressible in strict first order.	Food.kif 425-435	If a substance is an instance of food and decaf is an attribute of the substance and another substance is a piece of the substance and the other substance is an instance of caffeine, then there exists a process such that the process is an instance of removing and the process ends up at the substance and the other substance is a patient of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 191-201	If a process is an instance of preserving food and an entity is an instance of food and the entity is a patient of the process, then the process has the purpose there doesn't exist another entity such that the other entity is an instance of chemical decomposition and the entity is a patient of the other entity
No TPTP formula. May not be expressible in strict first order.	Food.kif 128-151	If a process is an instance of dry roasting and an entity is an instance of food and the entity is a patient of the process, then there exist another entity and a third entity such that the other entity is an instance of heating and the third entity is an instance of stirring and the other entity is a subprocess of the process and the third entity is a subprocess of the process and the time of existence of the third entity takes place during the time of existence of the other entity and the entity is a patient of the other entity and the entity is a patient of the third entity and there don't exist a fourth entity and a fifth entity such that the fourth entity is an instance of oil and the fifth entity is an instance of potable water and the fourth entity is a patient of the process and the fifth entity is a patient of the process holds during the process

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 24-28	If an attribute is an instance of prepared food attribute and the attribute is an attribute of an object, then the object is an instance of food
No TPTP formula. May not be expressible in strict first order.	Food.kif 84-94	If a process is an instance of curing food, then there exist an entity, another process and another entity such that the entity is an instance of food and the entity is a patient of the process and the other process is an instance of putting and the other process is a subprocess of the process and the other entity is an instance of salt and the other entity is a patient of the other process and the other process ends up at the entity

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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: