|
|
  OkoJuwoiLanguage
|
|
|
| appearance as argument number 1 |
|
|
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5424-5427 | |
| No TPTP formula. May not be expressible in strict first order. | Languages.kif 5423-5423 | OkoJuwoiLanguage e' uma instancia de CentralGreatAndamaneseLanguage |
| appearance as argument number 2 |
|
|
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42018-42018 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42017-42017 | |
| No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 42016-42016 |
|
|
|