| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14582-14582 |
例 BambaraLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14488-14488 |
例 ChichewaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14614-14614 |
例 EweLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14616-14616 |
例 FulaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14637-14637 |
例 GikuyuLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14619-14619 |
例 HereroLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14623-14623 |
例 IgboLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14638-14638 |
例 KinyarwandaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14670-14670 |
例 KirundiLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14641-14641 |
例 KongoLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14642-14642 |
例 KwanyamaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14646-14646 |
例 LingalaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14647-14647 |
例 LubaKatangaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14648-14648 |
例 LugandaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14659-14659 |
例 NdongaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14450-14450 |
例 NorthernNdebeleLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14676-14676 |
例 ShonaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14456-14456 |
例 SouthernNdebeleLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14495-14495 |
例 SouthernSothoLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14680-14680 |
例 SwahiliLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14500-14500 |
例 SwatiLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14512-14512 |
例 TsongaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14505-14505 |
例 TswanaLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14690-14690 |
例 TwiLanguage and 尼日爾剛果語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14518-14518 |
例 VendaLanguage and 尼日爾剛果語 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
NigerCongoLanguage
