TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 1007-1009
No TPTP formula. May not be expressible in strict first order.	Food.kif 1006-1006	Grinding is a subclass of breaking
No TPTP formula. May not be expressible in strict first order.	Food.kif 1005-1005	Grinding is a subclass of crushing

appearance as argument number 2

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

Food.kif 1010-1010

antecedent

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

Food.kif 1012-1026

consequent

No TPTP formula. May not be expressible in strict first order.	Food.kif 1034-1042	If an entity is an instance of coffee grind, then there exist a process and an object such that the process is an instance of grinding and the object is a patient of the process and the object is an instance of coffee bean and cooked is an attribute of the object and the entity is a result of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 1476-1483	If an entity is an instance of flour, then there exist a process and another entity such that the process is an instance of grinding and the other entity is a patient of the process and the other entity is an instance of cereal grain and the entity is a result of the process