Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - hopes
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 7400-7402
(instance hopes BinaryPredicate) Mid-level-ontology.kif 7399-7399 hopes2進述語instance では %n
(subrelation hopes expects) Mid-level-ontology.kif 7398-7398 hopesexpectssubrelation では %n

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 7404-7406


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