|
|
  LoretoUcayaliSpanishLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10351-10355 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 10350-10350 | 例 loreto ucayali 西班牙語 and 卡斯蒂利亞語 |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35027-35027 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35026-35026 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 35025-35025 |
|
|
|