TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Food.kif 2818-2820
No TPTP formula. May not be expressible in strict first order.	Food.kif 2817-2817	DairyArtifact e' uma sub-classe de PreparedFood

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Food.kif 3096-3096	Butter e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	Food.kif 3258-3258	Cheese e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	Food.kif 3110-3110	Cream e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	Food.kif 3138-3138	Curd e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	Food.kif 3150-3150	FermentedMilkProduct e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	Food.kif 3042-3042	ProcessedGoatMilk e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	Food.kif 2826-2826	ProcessedMilk e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	Food.kif 3144-3144	Whey e' uma sub-classe de DairyArtifact
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18378-18378
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18377-18377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 18376-18376

antecedent

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

Food.kif 2822-2824

consequent

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

Food.kif 3532-3540