No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1860-1860 |
例 奧坎語言 and ndyuka語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 1878-1878 |
例 kwinti語言 and ndyuka語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40025-40025 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40024-40024 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40023-40023 |
|