No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12608-12608 |
例 piaroa語言 and salivan語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12623-12623 |
例 薩利巴語 and salivan語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50951-50951 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50950-50950 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50949-50949 |
|