No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14634-14634 |
例 KanuriLanguage and nilo撒哈拉語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 12471-12471 |
子類 東蘇丹語 and nilo撒哈拉語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40571-40571 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40570-40570 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40569-40569 |
|