TreeView Knowledge Base Browser - agriculturalProductTypeByRank

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2245-2249
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2241-2241	Le nombre 1 argument de agriculturalProductTypeByRank est une instance de secteur g�opolitique
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2243-2243	Le nombre 3 argument de agriculturalProductTypeByRank est une instance de nombre entier positif
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2242-2242	Le nombre 2 argument de agriculturalProductTypeByRank est une sous-classe de objet
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2240-2240	agriculturalProductTypeByRank est une instance de pr�dicat ternaire

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 108-108
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 107-107
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 106-106
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5970-5970
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5969-5969
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5968-5968