No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13112-13112 |
拉兹语 是 咱语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13134-13134 |
Mingrelian语言 是 咱语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64081-64081 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64080-64080 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 64079-64079 |
|