No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5792-5792 |
Chachi语言 是 cayapa科罗拉多语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5806-5806 |
科罗拉多语 是 cayapa科罗拉多语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13578-13578 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13577-13577 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13576-13576 |
|