TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 79-81
No TPTP formula. May not be expressible in strict first order.	Food.kif 77-77	Curing food is a subclass of drying
No TPTP formula. May not be expressible in strict first order.	Food.kif 78-78	Curing food is a subclass of preserving food

appearance as argument number 2

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

Food.kif 82-82

antecedent

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 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

consequent

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

Food.kif 70-75