TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 680-684
No TPTP formula. May not be expressible in strict first order.	Geography.kif 677-677	土地总面积的 1 数量是地理区域的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 678-678	土地总面积的 2 数量是长度测量的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 676-676	土地总面积是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2503-2503
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2502-2502
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2501-2501
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58574-58574
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58573-58573
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58572-58572