No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10599-10599 |
Corsican group language is a subclass of southern romance language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10627-10627 |
Sardinian language is a subclass of southern romance language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54252-54252 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54251-54251 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 54250-54250 |
|