No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6055-6055 |
Chayahuita语言 是 cahuapanan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6067-6067 |
Jebero语言 是 cahuapanan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12679-12679 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12678-12678 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 12677-12677 |
|