No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10209-10209 |
Asturian language is an instance of asturo leonese language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10255-10255 |
Miranda do douro language is an instance of asturo leonese language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8832-8832 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8831-8831 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8830-8830 |
|