| 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 8587-8589 | |
| (instance hopes BinaryPredicate) | Mid-level-ontology.kif 8586-8586 | hopes is an instance of binary predicate |
| (subrelation hopes expects) | Mid-level-ontology.kif 8585-8585 | hopes is a subrelation of expects |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage hopes "%1 hopes %2 成为现实") | domainEnglishFormat.kif 3664-3664 | |
| (format ChineseTraditionalLanguage hopes "%1 hopes %2 成為現實") | domainEnglishFormat.kif 3663-3663 | |
| (format EnglishLanguage hopes "%1 hopes %2 will become true") | domainEnglishFormat.kif 3662-3662 | |
| (termFormat ChineseLanguage hopes "希望") | domainEnglishFormat.kif 28573-28573 | |
| (termFormat ChineseTraditionalLanguage hopes "希望") | domainEnglishFormat.kif 28572-28572 | |
| (termFormat EnglishLanguage hopes "hopes") | domainEnglishFormat.kif 28571-28571 |
| antecedent |
|
|
| (=> (hopes ?AGENT ?FORMULA) (desires ?AGENT ?FORMULA)) |
Mid-level-ontology.kif 8591-8593 |
|
|
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