No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14695-14695 |
例 WolofLanguage and 尼日爾剛果語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14523-14523 |
例 XhosaLanguage and 尼日爾剛果語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14696-14696 |
例 YorubaLanguage and 尼日爾剛果語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14528-14528 |
例 ZuluLanguage and 尼日爾剛果語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14555-14555 |
子類 AkanLanguage and 尼日爾剛果語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40515-40515 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40514-40514 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 40513-40513 |
|