|
|
  YenicheLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3389-3397 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10344-10344 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 12187-12187 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 3388-3388 | YenicheLanguage est une instance de GermanYiddishRomaniRotwelschMixedLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63811-63811 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63810-63810 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63809-63809 |
|
|
|
