No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10697-10697 |
EastSlavicLanguage e' uma sub-classe de SlavicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10793-10793 |
SouthSlavicLanguage e' uma sub-classe de SlavicLanguage |
No TPTP formula. May not be expressible in strict first order. |
Languages.kif 10987-10987 |
WestSlavicLanguage e' uma sub-classe de SlavicLanguage |
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 |
|