|
|
  KoryakLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6305-6314 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 10083-10083 | |
| No TPTP formula. May not be expressible in strict first order. | pictureList.kif 11296-11296 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 6304-6304 | KoryakLanguage e' uma instancia de KoryakAlyutorLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32821-32821 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32820-32820 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 32819-32819 |
|
|
|
