No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4676-4676 |
例 chenoua語言 and 北非亞洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4687-4687 |
子類 atlas語言 and 北非亞洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4741-4741 |
子類 卡比爾集團的語言 and 北非亞洲語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 4764-4764 |
子類 澤納蒂語 and 北非亞洲語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41033-41033 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41032-41032 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 41031-41031 |
|