No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13898-13898 |
Gamkonora language is an instance of sahu group language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13907-13907 |
Ibu language is an instance of sahu group language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13916-13916 |
Sahu language is an instance of sahu group language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13928-13928 |
Waioli language is an instance of sahu group language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50789-50789 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50788-50788 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 50787-50787 |
|