No TPTP formula. May not be expressible in strict first order. | Languages.kif 13584-13584 | 瓦卡山语 是 口语人类语言 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13591-13591 | 北瓦卡山语 是 瓦卡山语 的 subclass |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13628-13628 | 南部的瓦卡山语 是 瓦卡山语 的 subclass |
![]() |