No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9757-9757 |
Cajun法语 是 法语小组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9777-9777 |
法语 是 法语小组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9904-9904 |
Picard语言 是 法语小组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 9930-9930 |
Zarphatic语言 是 法语小组语言 的 instance |
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 |
|