No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5849-5849 |
AwaCuaiquerLanguage est une instance de PastoLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5843-5843 |
BarbacoasLanguage est une instance de PastoLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44744-44744 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44743-44743 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44742-44742 |
|