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 |
|