No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13045-13045 |
Georgian language is an instance of georgian group language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 13073-13073 |
Judeo georgian language is an instance of georgian group language |
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 |
|