|
|
   MatacoLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12074-12075 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12073-12073 | MatacoLanguage e' uma sub-classe de MatacoGuaicuruLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12078-12078 | ChulupiLanguage e' uma instancia de MatacoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12111-12111 | IyojwajaChoroteLanguage e' uma instancia de MatacoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12094-12094 | IyowujwaChoroteLanguage e' uma instancia de MatacoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12121-12121 | MacaLanguage e' uma instancia de MatacoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12132-12132 | WichiLhamtesGuisnayLanguage e' uma instancia de MatacoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12141-12141 | WichiLhamtesNoctenLanguage e' uma instancia de MatacoLanguage |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 12152-12152 | WichiLhamtesVejozLanguage e' uma instancia de MatacoLanguage |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36437-36437 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36436-36436 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 36435-36435 |
|
|
|