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

Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Regretting
Regretting

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


(documentation Regretting EnglishLanguage "ExpressingDisapproval about a state of affairs that has already occurred.") Mid-level-ontology.kif 14305-14306
(subclass Regretting ExpressingDisapproval) Mid-level-ontology.kif 14303-14303 Regretting est une sous-classe de ExpressingDisapproval

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


(subclass Apologizing Regretting) Mid-level-ontology.kif 14304-14304 Apologizing est une sous-classe de Regretting
(termFormat ChineseLanguage Regretting "εŽζ‚”") domainEnglishFormat.kif 49266-49266 Apologizing est une sous-classe de Regretting
(termFormat ChineseTraditionalLanguage Regretting "εΎŒζ‚”") domainEnglishFormat.kif 49265-49265 Apologizing est une sous-classe de Regretting
(termFormat EnglishLanguage Regretting "regretting") domainEnglishFormat.kif 49264-49264 Apologizing est une sous-classe de Regretting

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


(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))
Mid-level-ontology.kif 14308-14313


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