TreeView Knowledge Base Browser - WestGermanicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8800-8800
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7313-7313	子類西德語 and 德系語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7319-7319	子類英語組語言 and 西德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7655-7655	子類弗里斯蘭語 and 西德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7726-7726	子類德語小組語言 and 西德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7720-7720	子類高德語 and 西德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8223-8223	子類低撒克遜低法蘭克語 and 西德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 8167-8167	子類意第緒語 and 西德語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62865-62865
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62864-62864
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 62863-62863