TreeView Knowledge Base Browser

appearance as argument number 1

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

Economy.kif 1883-1883

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Economy.kif 1884-1884	纺织厂是纺织工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1885-1885	纺织产品厂是纺织工业的 subAttribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57734-57734
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57733-57733
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 57732-57732