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 language is a subclass of gallo rhaetian language

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Languages.kif 9975-9975	Friulian language is an instance of rhaetian language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9990-9990	Ladin language is an instance of rhaetian language
No TPTP formula. May not be expressible in strict first order.	Languages.kif 9997-9997	Romansch language is an instance of rhaetian language
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49894-49894
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49893-49893
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 49892-49892