No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13729-13729 |
例 卡拉拉布語 and 西鳥頭語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13736-13736 |
例 moi語言 and 西鳥頭語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13743-13743 |
例 moraid語言 and 西鳥頭語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13751-13751 |
例 seget語言 and 西鳥頭語 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13758-13758 |
例 tehit語言 and 西鳥頭語 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62739-62739 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62738-62738 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62737-62737 |
|