No TPTP formula. May not be expressible in strict first order. |
Languages.kif 163-163 |
Adamorobe手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 175-175 |
阿尔及利亚手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 181-181 |
美国手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 232-232 |
阿根廷手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 244-244 |
亚美尼亚手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 263-263 |
澳大利亚原住民手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 249-249 |
澳大利亚手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 275-275 |
奥地利手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 288-288 |
巴厘岛手语言 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 296-296 |
巴马科手语言 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 306-306 |
禁止khor手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 313-313 |
比利时手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 333-333 |
玻利维亚手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 343-343 |
巴西手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 355-355 |
英国手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 375-375 |
保加利亚手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 388-388 |
加泰罗尼亚手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 395-395 |
乍得手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 403-403 |
清迈手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 413-413 |
智利手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 418-418 |
中国手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 430-430 |
哥伦比亚手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 444-444 |
哥斯达黎加手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 450-450 |
捷克手语 是 聋人手语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 463-463 |
丹麦手语 是 聋人手语 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |