No TPTP formula. May not be expressible in strict first order. | Languages.kif 13200-13200 | 塔卡语 是 口语人类语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13207-13207 | Araona tacana 语言 是 塔卡语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13228-13228 | Cavinena tacana 语言 是 塔卡语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13281-13281 | Tiatinagua语言 是 塔卡语 的 subclass |
![]() |