TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.

Economy.kif 2883-2883

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 2884-2884	currencyType Afghanistan and AfghanAfghani
No TPTP formula. May not be expressible in strict first order.	Economy.kif 2908-2908	currencyValue AfghanAfghaniCoin and AfghanAfghani
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5688-5688
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5687-5687
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5686-5686

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.

Media.kif 2328-2328