No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11213-11213 |
Cayuga语言 是 塞内卡卡尤加语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11223-11223 |
塞内卡语 是 塞内卡卡尤加语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52059-52059 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52058-52058 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 52057-52057 |
|