|
|
  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 e' uma instancia de GermanYiddishRomaniRotwelschMixedLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63813-63813 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63812-63812 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 63811-63811 |
|
|
|
