No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6497-6497 |
例 cuiba語言 and guahiban語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6515-6515 |
例 guahibo語言 and guahiban語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6535-6535 |
例 guayabero語言 and guahiban語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6548-6548 |
例 麥關語 and guahiban語言 |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 6558-6558 |
例 球員語言 and guahiban語言 |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26850-26850 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26849-26849 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 26848-26848 |
|