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 |
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 |
|