No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10993-10993 |
Czech slovak language is a subclass of west slavic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11038-11038 |
Lechitic language is a subclass of west slavic language |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11088-11088 |
Sorbian language is a subclass of west slavic language |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62919-62919 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62918-62918 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62917-62917 |
|