TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 4052-4053
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4051-4051	WheatGrain est une sous-classe de CerealGrain

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 6163-6163	industryProductType WheatFarming and WheatGrain
No TPTP formula. May not be expressible in strict first order.	Food.kif 1490-1490	initialPart WheatFlour and WheatGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4059-4059	CommonWheatGrain est une sous-classe de WheatGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4071-4071	DurumWheatGrain est une sous-classe de WheatGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4091-4091	EinkornWheatGrain est une sous-classe de WheatGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4081-4081	EmmerWheatGrain est une sous-classe de WheatGrain
No TPTP formula. May not be expressible in strict first order.	Economy.kif 4101-4101	SpeltWheatGrain est une sous-classe de WheatGrain
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62973-62973
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62972-62972
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62971-62971

antecedent

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

Food.kif 1499-1501

consequent

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

Economy.kif 4055-4057