No TPTP formula. May not be expressible in strict first order. | Languages.kif 14110-14110 | Witoto proper language is a subclass of witoto group language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14117-14117 | Minica murui language is a subclass of witoto proper language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14150-14150 | Nipode language is a subclass of witoto proper language |