TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 2623-2625
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2620-2620	总生物量的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2621-2621	总生物量的 2 数量是物理量的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 2619-2619	总生物量是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2483-2483
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2482-2482
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2481-2481
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58538-58538
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58537-58537
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58536-58536