hopes |
appearance as argument number 1 |
(documentation hopes EnglishLanguage "(hopes ?AGENT ?FORMULA) means that ?AGENT hopes that the proposition ?FORMULA will be true, i.e. he/ she believes that it will come to pass in the future and that it will be desirable for ?AGENT.") | Mid-level-ontology.kif 7427-7429 | |
(instance hopes BinaryPredicate) | Mid-level-ontology.kif 7426-7426 | hopes is an instance of binary predicate |
(subrelation hopes expects) | Mid-level-ontology.kif 7425-7425 | hopes is a subrelation of expects |
appearance as argument number 2 |
(format ChineseLanguage hopes "%1 hopes %2 成为现实") | domainEnglishFormat.kif 3666-3666 | |
(format ChineseTraditionalLanguage hopes "%1 hopes %2 成為現實") | domainEnglishFormat.kif 3665-3665 | |
(format EnglishLanguage hopes "%1 hopes %2 will become true") | domainEnglishFormat.kif 3664-3664 | |
(termFormat ChineseLanguage hopes "希望") | domainEnglishFormat.kif 28545-28545 | |
(termFormat ChineseTraditionalLanguage hopes "希望") | domainEnglishFormat.kif 28544-28544 | |
(termFormat EnglishLanguage hopes "hopes") | domainEnglishFormat.kif 28543-28543 |
antecedent |
(=> (hopes ?AGENT ?FORMULA) (desires ?AGENT ?FORMULA)) |
Mid-level-ontology.kif 7431-7433 |
|