TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 3061-3062
No TPTP formula. May not be expressible in strict first order.	Food.kif 3060-3060	Churning butter is a subclass of rotating

appearance as argument number 2

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

Food.kif 3063-3063

antecedent

No TPTP formula. May not be expressible in strict first order.	Food.kif 3076-3094	If a process is an instance of churning butter and an entity is an instance of emulsion and the entity is a patient of the process, then there exist another entity and a third entity such that the entity is equal to the other entity and the other entity is an instance of milk holds during the beginning of the time of existence of the process and the entity is equal to the third entity and the third entity is an instance of butter holds during the end of the time of existence of the process
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	If a physical is an instance of churning butter, then the physical has the purpose there exist an entity, another entity and a third entity such that the entity is an instance of milk and the other entity is an instance of rotating and the entity is a patient of the other entity and the third entity is a result of the other entity and the third entity is an instance of butter

consequent

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

Food.kif 3101-3106