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 44742-44742 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44741-44741 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 44740-44740 |
|