No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6132-6132 |
Guapore language is a subclass of chapacura wanham language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6159-6159 |
Madeira language is a subclass of chapacura wanham language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14148-14148 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14147-14147 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 14146-14146 |
|