TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 530-531
No TPTP formula. May not be expressible in strict first order.	Geography.kif 527-527	地区地图的 1 数量是地区的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 528-528	地区地图的 2 数量是符号串的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 526-526	地区地图是二元谓语的 instance

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1607-1607
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1606-1606
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1605-1605
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36089-36089
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36088-36088
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 36087-36087