No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1387-1387 |
ArticleCategory est une instance de DocumentCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1395-1395 |
LibraryModelCategory est une instance de DocumentCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1383-1383 |
SolvedExampleCategory est une instance de DocumentCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1391-1391 |
TutorialCategory est une instance de DocumentCategory |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20064-20064 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20063-20063 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 20062-20062 |
|