No TPTP formula. May not be expressible in strict first order. | Languages.kif 14042-14042 | Witotoan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14049-14049 | Boran language is a subclass of witotoan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 14083-14083 | Witoto group language is a subclass of witotoan language |