TreeView Knowledge Base Browser - NorthGermanicLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7131-7132
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7314-7315
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7130-7130	子類北方的德語 and 德系語

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14423-14423	例 FaroeseLanguage and 北方的德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14436-14436	例 IcelandicLanguage and 北方的德語
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7136-7136	子類東斯堪的納維亞語 and 北方的德語
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41181-41181
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41180-41180
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41179-41179