RhaetianLanguage - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9971-9972
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 8686-8686
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9970-9970	Rhaetian语言是加洛拉蒂安语的 subclass

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9975-9975	Friulian语言是 rhaetian语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9990-9990	拉丁语是 rhaetian语言的 instance
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9997-9997	罗曼什语是 rhaetian语言的 instance
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49892-49892
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49891-49891
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49890-49890