No TPTP formula. May not be expressible in strict first order. | Languages.kif 13584-13584 | 子類 瓦卡山語 and 口語人類語言 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13591-13591 | 子類 北瓦卡山語 and 瓦卡山語 |
No TPTP formula. May not be expressible in strict first order. | Languages.kif 13628-13628 | 子類 南部的瓦卡山語 and 瓦卡山語 |