No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7577-7577 |
例 angloromani語言 and 英語組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7324-7324 |
例 開曼群島英語 and 英語組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7334-7334 |
例 英語 and 英語組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7598-7598 |
例 蘇格蘭語 and 英語組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 7625-7625 |
例 yinglish 語 and 英語組語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22156-22156 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22155-22155 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22154-22154 |
|