No TPTP formula. May not be expressible in strict first order. | Languages.kif 13200-13200 | Tacanan language is a subclass of spoken human language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13207-13207 | Araona tacana language is a subclass of tacanan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13228-13228 | Cavinena tacana language is a subclass of tacanan language |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13281-13281 | Tiatinagua language is a subclass of tacanan language |