|
|
   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 | NigerCongoLanguage est une sous-classe de SpokenHumanLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14582-14582 | BambaraLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14488-14488 | ChichewaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14614-14614 | EweLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14616-14616 | FulaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14637-14637 | GikuyuLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14619-14619 | HereroLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14623-14623 | IgboLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14638-14638 | KinyarwandaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14670-14670 | KirundiLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14641-14641 | KongoLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14642-14642 | KwanyamaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14646-14646 | LingalaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14647-14647 | LubaKatangaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14648-14648 | LugandaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14659-14659 | NdongaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14450-14450 | NorthernNdebeleLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14676-14676 | ShonaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14456-14456 | SouthernNdebeleLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14495-14495 | SouthernSothoLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14680-14680 | SwahiliLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14500-14500 | SwatiLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14512-14512 | TsongaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14505-14505 | TswanaLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14690-14690 | TwiLanguage est une instance de NigerCongoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14518-14518 | VendaLanguage est une instance de NigerCongoLanguage |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
