NigerCongoLanguage(尼日尔刚果语) |
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12457-12459 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9470-9470 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9471-9471 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 9472-9472 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8616-8616 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 12456-12456 | 尼日尔刚果语 是 口语人类语言 的 subclass |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14582-14582 | BambaraLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14488-14488 | ChichewaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14614-14614 | EweLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14616-14616 | FulaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14637-14637 | GikuyuLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14619-14619 | HereroLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14623-14623 | IgboLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14638-14638 | KinyarwandaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14670-14670 | KirundiLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14641-14641 | KongoLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14642-14642 | KwanyamaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14646-14646 | LingalaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14647-14647 | LubaKatangaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14648-14648 | LugandaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14659-14659 | NdongaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14450-14450 | NorthernNdebeleLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14676-14676 | ShonaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14456-14456 | SouthernNdebeleLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14495-14495 | SouthernSothoLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14680-14680 | SwahiliLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14500-14500 | SwatiLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14512-14512 | TsongaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14505-14505 | TswanaLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14690-14690 | TwiLanguage 是 尼日尔刚果语 的 instance |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14518-14518 | VendaLanguage 是 尼日尔刚果语 的 instance |
Display limited to 25 items. Show next 25 | ||
Display limited to 25 items. Show next 25 |