No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3771-3771 |
Aariya语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3777-3777 |
Abishira语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3786-3786 |
Agavotaguerra语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3794-3794 |
Aguano语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3806-3806 |
Amerax语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3814-3814 |
Amikoana语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3820-3820 |
Andh语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3830-3830 |
Beothuk语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3838-3838 |
Betaf语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3845-3845 |
Bete语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3855-3855 |
Bhatola语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3861-3861 |
塞语 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3868-3868 |
卡瓜语 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3874-3874 |
卡拉瓦拉语 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3888-3888 |
Candoshi shapra 語言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3900-3900 |
Canichana语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3908-3908 |
卡拉巴约语 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3917-3917 |
中心语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3925-3925 |
Chak语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3936-3936 |
Chipiajes语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3942-3942 |
Cholon语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3950-3950 |
柯西玛语 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3956-3956 |
Doso语言 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3964-3964 |
盖尔语 是 非语言口语 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3975-3975 |
海地vodoun文化语言 是 非语言口语 的 instance |
|
Display limited to 25 items. Show next 25 |
|
Display limited to 25 items. Show next 25 |