No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13234-13234 |
Cavinena group language is a subclass of cavinena tacana language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13252-13252 |
Tacana proper language is a subclass of cavinena tacana language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13572-13572 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13571-13571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 13570-13570 |
|