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