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	TranslatoryTwopole est une sous-classe de PureTwopole

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	engineering.kif 574-574	DamperElement est une sous-classe de TranslatoryTwopole
No TPTP formula. May not be expressible in strict first order.	engineering.kif 579-579	Inertor est une sous-classe de TranslatoryTwopole
No TPTP formula. May not be expressible in strict first order.	engineering.kif 584-584	SpringElement est une sous-classe de TranslatoryTwopole
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