TreeView Knowledge Base Browser - TranslatoryTwopole

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	engineering.kif 568-568
No TPTP formula. May not be expressible in strict first order.	engineering.kif 569-569	子類翻譯雙極 and 純雙極

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 574-574	子類阻尼元件 and 翻譯雙極
No TPTP formula. May not be expressible in strict first order.	engineering.kif 579-579	子類 inertor and 翻譯雙極
No TPTP formula. May not be expressible in strict first order.	engineering.kif 584-584	子類彈簧元素 and 翻譯雙極
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58952-58952
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58951-58951
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 58950-58950