hopes |
appearance as argument number 1 |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7399-7401 | |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7398-7398 | hopes e' uma instancia de Predicado Binario |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7397-7397 | hopes e' uma sub-relacao de expects |
appearance as argument number 2 |
![]() |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3666-3666 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3665-3665 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 3664-3664 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28545-28545 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28544-28544 | |
No TPTP formula. May not be expressible in strict first order. | domainEnglishFormat.kif 28543-28543 |
antecedent |
![]() |
No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 7403-7405 |
![]() |
![]() |