No TPTP formula. May not be expressible in strict first order. | Languages.kif 9740-9740 | Gallo rhaetian language is a subclass of gallo romance language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9746-9746 | Oiel language is a subclass of gallo rhaetian language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9970-9970 | Rhaetian language is a subclass of gallo rhaetian language |