GalloRhaetianLanguage nephew
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 9741-9742 | |
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 |
appearance as argument number 2 |
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 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25394-25394 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25393-25393 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 25392-25392 |