NatchezLanguage
|
|
appearance as argument number 1 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6592-6595 | |
No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10142-10142 | |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 6591-6591 | NatchezLanguage est une instance de GulfLanguage |
appearance as argument number 2 |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39803-39803 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39802-39802 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 39801-39801 |