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	子屬性紡織廠 and 紡織工業
No TPTP formula. May not be expressible in strict first order.	Economy.kif 1885-1885	子屬性紡織產品廠 and 紡織工業
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