No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13898-13898 |
Gamkonora语言 是 萨胡语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13907-13907 |
Ibu语言 是 萨胡语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13916-13916 |
萨胡语 是 萨胡语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13928-13928 |
Waioli语言 是 萨胡语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50787-50787 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50786-50786 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50785-50785 |
|