No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3354-3354 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3353-3353 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 3352-3352 |
|
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7386-7386 |
fears is a subrelation of expects |
No TPTP formula. May not be expressible in strict first order. |
Mid-level-ontology.kif 7398-7398 |
hopes is a subrelation of expects |
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22792-22792 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22791-22791 |
|
No TPTP formula. May not be expressible in strict first order. |
domainEnglishFormat.kif 22790-22790 |
|