|
|
   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 | Niger congo language is a subclass of spoken human language |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14582-14582 | Bambara language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14488-14488 | Chichewa language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14614-14614 | Ewe language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14616-14616 | Fula language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14637-14637 | Gikuyu language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14619-14619 | Herero language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14623-14623 | Igbo language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14638-14638 | Kinyarwanda language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14670-14670 | Kirundi language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14641-14641 | Kongo language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14642-14642 | Kwanyama language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14646-14646 | Lingala language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14647-14647 | Luba katanga language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14648-14648 | Luganda language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14659-14659 | Ndonga language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14450-14450 | Northern Ndebele language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14676-14676 | Shona language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14456-14456 | Southern Ndebele language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14495-14495 | Southern Sotho language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14680-14680 | Swahili language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14500-14500 | Swati language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14512-14512 | Tsonga language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14505-14505 | Tswana language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14690-14690 | Twi language is an instance of niger congo language |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 14518-14518 | Venda language is an instance of niger congo language |
| Display limited to 25 items. Show next 25 | ||
| Display limited to 25 items. Show next 25 |
|
|
|
