No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13045-13045 |
格鲁吉亚语 是 格鲁吉亚组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13073-13073 |
犹太格鲁吉亚语 是 格鲁吉亚组语言 的 instance |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25854-25854 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25853-25853 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 25852-25852 |
|