| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2923-2923 |
例 abinomn語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2935-2935 |
例 阿伊努語日語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2954-2954 |
例 andoque語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2968-2968 |
例 緬甸語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 2983-2983 |
例 burushaski語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3000-3000 |
例 busa語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3009-3009 |
例 camsa語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3018-3018 |
例 cayubaba語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Merge.kif 1537-1537 |
例 英語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 14424-14424 |
例 FaroeseLanguage and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14972-14972 |
例 法語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14977-14977 |
例 德國的語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3027-3027 |
例 gilyak語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14982-14982 |
例 希臘語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3046-3046 |
例 itonama語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3055-3055 |
例 karkar yuri 語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3066-3066 |
例 基比里語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3077-3077 |
例 朝鮮語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3114-3114 |
例 kutenai語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14986-14986 |
例 拉丁語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3128-3128 |
例 nihali語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3144-3144 |
例 潘卡拉魯語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3153-3153 |
例 puelche語 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3161-3161 |
例 puinave語言 and 口語人類語言 |
| No TPTP formula. May not be expressible in strict first order. |
Languages.kif 3173-3173 |
例 purepecha語言 and 口語人類語言 |
|
| Display limited to 25 items. Show next 25 |
|
| Display limited to 25 items. Show next 25 |
more pictures...