No TPTP formula. May not be expressible in strict first order. |
Languages.kif 163-163 |
例 adamorobe手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 175-175 |
例 阿爾及利亞手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 181-181 |
例 美國手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 232-232 |
例 阿根廷手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 244-244 |
例 亞美尼亞手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 263-263 |
例 澳大利亞原住民手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 249-249 |
例 澳大利亞手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 275-275 |
例 奧地利手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 288-288 |
例 巴厘島手語言 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 296-296 |
例 巴馬科手語言 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 306-306 |
例 禁止khor手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 313-313 |
例 比利時手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 333-333 |
例 玻利維亞手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 343-343 |
例 巴西手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 355-355 |
例 英國手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 375-375 |
例 保加利亞手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 388-388 |
例 加泰羅尼亞手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 395-395 |
例 乍得手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 403-403 |
例 清邁手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 413-413 |
例 智利手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 418-418 |
例 中國手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 430-430 |
例 哥倫比亞手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 444-444 |
例 哥斯達黎加手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 450-450 |
例 捷克手語 and 聾人手語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 463-463 |
例 丹麥手語 and 聾人手語 |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |