| 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 7618-7620 | |
| (instance hopes BinaryPredicate) | Mid-level-ontology.kif 7617-7617 | hopes is an instance of binary predicate |
| (subrelation hopes expects) | Mid-level-ontology.kif 7616-7616 | hopes is a subrelation of expects |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hopes "%1 hopes %2 成为现实") | domainEnglishFormat.kif 3660-3660 | |
| (format ChineseTraditionalLanguage hopes "%1 hopes %2 成為現實") | domainEnglishFormat.kif 3659-3659 | |
| (format EnglishLanguage hopes "%1 hopes %2 will become true") | domainEnglishFormat.kif 3658-3658 | |
| (termFormat ChineseLanguage hopes "希望") | domainEnglishFormat.kif 28574-28574 | |
| (termFormat ChineseTraditionalLanguage hopes "希望") | domainEnglishFormat.kif 28573-28573 | |
| (termFormat EnglishLanguage hopes "hopes") | domainEnglishFormat.kif 28572-28572 |
| antecedent |
|
|
| (=> (hopes ?AGENT ?FORMULA) (desires ?AGENT ?FORMULA)) |
Mid-level-ontology.kif 7622-7624 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
Sigma web home Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners