No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14230-14230 |
Sentence is disjointly decomposed into statement, supposition, question, request, and order |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 14242-14242 |
Fact is a subclass of 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 |
|