| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3771-3771 |
例 aariya語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3777-3777 |
例 abishira語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3786-3786 |
例 agavotaguerra語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3794-3794 |
例 aguano語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3806-3806 |
例 amerax語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3814-3814 |
例 amikoana語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3820-3820 |
例 andh語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3830-3830 |
例 beothuk語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3838-3838 |
例 betaf語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3845-3845 |
例 bete語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3855-3855 |
例 bhatola語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3861-3861 |
例 塞語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3868-3868 |
例 卡瓜語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3874-3874 |
例 卡拉瓦拉語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3888-3888 |
例 candoshi shapra 語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3900-3900 |
例 canichana語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3908-3908 |
例 卡拉巴約語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3917-3917 |
例 中心語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3925-3925 |
例 chak語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3936-3936 |
例 chipiajes語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3942-3942 |
例 cholon語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3950-3950 |
例 柯西瑪語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3956-3956 |
例 doso語言 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3964-3964 |
例 蓋爾語 and 非語言口語 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3975-3975 |
例 海地vodoun文化語言 and 非語言口語 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
UnclassifiedSpokenLanguage