TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Geography.kif 4928-4929
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4925-4925	流动区域的 1 数量是液体运动的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4924-4924	流动区域是一元函数的 instance
No TPTP formula. May not be expressible in strict first order.	Geography.kif 4926-4926	流动区域的 range 是地区的实例

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1073-1073
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1072-1072
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1071-1071
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24350-24350
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24349-24349
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 24348-24348