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	ChurningButter e' uma sub-classe de 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	Processo e' uma instancia de ChurningButter Entidade e' uma instancia de Emulsion Entidade e' um patient de Processo Entidade Entidade Entidade e' igual a Entidade Entidade e' uma instancia de Milk vale durante o comeco de tempo de existencia de Processo Entidade e' igual a Entidade Entidade e' uma instancia de Butter vale durante o fim de tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	Food.kif 3065-3074	Fisico e' uma instancia de ChurningButter Fisico tem por fim Entidade Entidade and Entidade Entidade e' uma instancia de Milk Entidade e' uma instancia de Rotating Entidade e' um patient de Entidade Entidade e' o resultado de Entidade Entidade e' uma instancia de Butter

consequent

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

Food.kif 3101-3106