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 瓦卡山語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62075-62075 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62074-62074 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62073-62073 |
|