TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 3814-3815
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8412-8412
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 9042-9042
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3813-3813	CerealGrass est une sous-classe de Grass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4012-4012	BarleyGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3821-3821	MaizeGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4017-4017	MilletGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4007-4007	OatGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3817-3817	PaddyRice est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4000-4000	RyeGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3826-3826	SorghumGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	Economy.kif 3860-3860	WheatGrass est une sous-classe de CerealGrass
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13950-13950
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13949-13949
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 13948-13948

antecedent

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

Economy.kif 4031-4033

consequent

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

Economy.kif 4166-4172