No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14230-14230 |
Phrase est disjointement decompos� en Statement, Supposition, Question, Request, + Order |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14242-14242 |
Fact est une sous-classe de Statement |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55122-55122 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55121-55121 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 55120-55120 |
|