No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5849-5849 |
Awa cuaiquer language is an instance of pasto language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 5843-5843 |
Barbacoas language is an instance of pasto language |
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 |
|