No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10993-10993 |
CzechSlovakLanguage e' uma sub-classe de WestSlavicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11038-11038 |
LechiticLanguage e' uma sub-classe de WestSlavicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 11088-11088 |
SorbianLanguage e' uma sub-classe de WestSlavicLanguage |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62921-62921 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62920-62920 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 62919-62919 |
|