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	The number 1 argument of agricultural product type by rank is an instance of geopolitical area
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2243-2243	The number 3 argument of agricultural product type by rank is an instance of positive integer
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2242-2242	The number 2 argument of agricultural product type by rank is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2240-2240	agricultural product type by rank is an instance of ternary predicate

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