No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12608-12608 |
Piaroa语言 是 salivan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12623-12623 |
萨利巴语 是 salivan语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50949-50949 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50948-50948 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50947-50947 |
|