No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12890-12890 |
例 crow語言 and 密蘇里河谷語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12904-12904 |
例 希達薩語 and 密蘇里河谷語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38067-38067 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38066-38066 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 38065-38065 |
|