TreeView Knowledge Base Browser - GalloItalianLanguage

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9638-9639
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9637-9637	加洛意大利语是加洛浪漫语言的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9642-9642	Emiliano romagnolo 语言是加洛意大利语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9663-9663	利古里亚语是加洛意大利语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9682-9682	伦巴德语是加洛意大利语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9708-9708	Piemontese语言是加洛意大利语的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9719-9719	威尼斯语是加洛意大利语的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25388-25388
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25387-25387
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 25386-25386