TreeView Knowledge Base Browser - MiddleGermanLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7733-7734
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7827-7828
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7739-7740
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7732-7732	MiddleGermanLanguage e' uma sub-classe de GermanGroupLanguage

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 7738-7738	EastMiddleGermanLanguage e' uma sub-classe de MiddleGermanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7826-7826	MoselleFranconianMiddleGermanLanguage e' uma sub-classe de MiddleGermanLanguage
No TPTP formula. May not be expressible in strict first order.	Languages.kif 7872-7872	WestMiddleGermanLanguage e' uma sub-classe de MiddleGermanLanguage
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37469-37469
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37468-37468
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 37467-37467