No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5335-5335 |
Amto语言 是 amto musan 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5348-5348 |
麝香语 是 amto musan 语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7320-7320 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7319-7319 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 7318-7318 |
|