No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9757-9757 |
例 cajun法語 and 法語小組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9777-9777 |
例 法語 and 法語小組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9904-9904 |
例 picard語言 and 法語小組語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9930-9930 |
例 zarphatic語言 and 法語小組語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24962-24962 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24961-24961 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 24960-24960 |
|