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	北方的德语是德系语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 14423-14423	FaroeseLanguage 是北方的德语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 14436-14436	IcelandicLanguage 是北方的德语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7136-7136	东斯堪的纳维亚语是北方的德语的 subclass
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