No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10697-10697 |
East slavic language is a subclass of slavic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10793-10793 |
South slavic language is a subclass of slavic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10987-10987 |
West slavic language is a subclass of slavic language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53372-53372 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53371-53371 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 53370-53370 |
|