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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Thanking
Thanking(感谢)

appearance as argument number 1
-------------------------


(documentation Thanking EnglishLanguage "Any ExpressingInLanguage of appreciation to a person for something that the person did in the past.") Mid-level-ontology.kif 12610-12611
(subclass Thanking ExpressingApproval) Mid-level-ontology.kif 12609-12609 感谢表示赞同subclass
(subclass Thanking ExpressingInLanguage) Mid-level-ontology.kif 12608-12608 感谢用语言表达subclass

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Thanking "感谢") domainEnglishFormat.kif 57761-57761
(termFormat ChineseTraditionalLanguage Thanking "感謝") domainEnglishFormat.kif 57760-57760
(termFormat EnglishLanguage Thanking "thanking") domainEnglishFormat.kif 57759-57759

antecedent
-------------------------


(=>
    (and
        (instance ?T Thanking)
        (destination ?T ?P))
    (instance ?P Human))
Mid-level-ontology.kif 12625-12629
(=>
    (and
        (instance ?THANK Thanking)
        (agent ?THANK ?AGENT)
        (patient ?THANK ?THING)
        (destination ?THANK ?PERSON))
    (and
        (instance ?PERSON Human)
        (or
            (holdsDuring
                (WhenFn ?THANK)
                (wants ?AGENT ?THING))
            (holdsDuring
                (WhenFn ?THANK)
                (desires ?AGENT ?THING)))))
Mid-level-ontology.kif 12613-12623


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