No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1387-1387 |
ArticleCategory e' uma instancia de DocumentCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1395-1395 |
LibraryModelCategory e' uma instancia de DocumentCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1383-1383 |
SolvedExampleCategory e' uma instancia de DocumentCategory |
No TPTP formula. May not be expressible in strict first order. |
engineering.kif 1391-1391 |
TutorialCategory e' uma instancia 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 |
|