No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9625-9625 |
Gallo iberian language is a subclass of western romance language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10535-10535 |
Pyrenean mozarabic language is a subclass of western romance language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62831-62831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62830-62830 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62829-62829 |
|