No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4693-4693 |
例 judeo berber 語 and atlas語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4703-4703 |
例 tachelhit語言 and atlas語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4723-4723 |
例 tamazight語言 and atlas語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8898-8898 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8897-8897 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 8896-8896 |
|