No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11615-11615 |
例 東部凱利斯語 and keres語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11629-11629 |
例 西方的keres語言 and keres語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32341-32341 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32340-32340 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 32339-32339 |
|