|
|
  JaruaraLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5561-5565 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 8552-8552 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5560-5560 | JaruaraLanguage est une instance de AruanLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31519-31519 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31518-31518 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 31517-31517 |
|
|
|
