No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14763-14763 |
"co" 在 ISO-639-1 denotes 科西嘉語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14825-14825 |
"cr" 在 ISO-639-1 denotes CreeLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14760-14760 |
"cs" 在 ISO-639-1 denotes 捷克語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14761-14761 |
"cu" 在 ISO-639-1 denotes 老教堂斯拉夫語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14824-14824 |
"cv" 在 ISO-639-1 denotes ChuvashLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14720-14720 |
"cy" 在 ISO-639-1 denotes 威爾士語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14721-14721 |
"da" 在 ISO-639-1 denotes 丹麥語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14722-14722 |
"de" 在 ISO-639-1 denotes 德國的語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14827-14827 |
"dv" 在 ISO-639-1 denotes DhivehiLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14828-14828 |
"dz" 在 ISO-639-1 denotes DzongkhaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14830-14830 |
"ee" 在 ISO-639-1 denotes EweLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14764-14764 |
"el" 在 ISO-639-1 denotes 希臘語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14724-14724 |
"en" 在 ISO-639-1 denotes 英語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14765-14765 |
"eo" 在 ISO-639-1 denotes 世界語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14799-14799 |
"es" 在 ISO-639-1 denotes 西班牙語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14829-14829 |
"et" 在 ISO-639-1 denotes EstonianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14754-14754 |
"eu" 在 ISO-639-1 denotes 巴斯克語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14766-14766 |
"fa" 在 ISO-639-1 denotes 東部波斯語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14767-14767 |
"fa" 在 ISO-639-1 denotes 西方波斯語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14832-14832 |
"ff" 在 ISO-639-1 denotes FulaLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14726-14726 |
"fi" 在 ISO-639-1 denotes FinnishLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14831-14831 |
"fj" 在 ISO-639-1 denotes FijianLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14725-14725 |
"fo" 在 ISO-639-1 denotes FaroeseLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14727-14727 |
"fr" 在 ISO-639-1 denotes 法語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14768-14768 |
"fy" 在 ISO-639-1 denotes 西弗里西亞語 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |