TreeView Knowledge Base Browser

appearance as argument number 1

(subrelation hopes expects)	Mid-level-ontology.kif 8716-8716	hopes is a subrelation of expects
(domain hopes 1 CognitiveAgent)	Mid-level-ontology.kif 8717-8717	The number 1 argument of hopes is an instance of cognitive agent
(domain hopes 2 Formula)	Mid-level-ontology.kif 8718-8718	The number 2 argument of hopes is an instance of formula
(instance hopes BinaryPredicate)	Mid-level-ontology.kif 8719-8719	hopes is an instance of binary predicate
(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 8720-8722	hopes is an instance of binary predicate

appearance as argument number 2

(format EnglishLanguage hopes "%1 hopes %2 will become true")	domainEnglishFormat.kif 3662-3662
(format ChineseTraditionalLanguage hopes "%1 hopes %2 成為現實")	domainEnglishFormat.kif 3663-3663
(format ChineseLanguage hopes "%1 hopes %2 成为现实")	domainEnglishFormat.kif 3664-3664
(termFormat EnglishLanguage hopes "hopes")	domainEnglishFormat.kif 28547-28547
(termFormat ChineseTraditionalLanguage hopes "希望")	domainEnglishFormat.kif 28548-28548
(termFormat ChineseLanguage hopes "希望")	domainEnglishFormat.kif 28549-28549

antecedent

(=>
(hopes ?AGENT ?FORMULA)
(desires ?AGENT ?FORMULA))

If X hopes Y will become true, then X desires Y

consequent

(=>
    (fears ?AGENT ?FORMULA)
    (not
        (hopes ?AGENT ?FORMULA)))

If X fears Y, then X hopes Y will become true