Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Regretting
Regretting(regretting)apologetically

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


(subclass Regretting ExpressingDisapproval) Mid-level-ontology.kif 14582-14582 Regretting is a subclass of expressing disapproval
(documentation Regretting EnglishLanguage "ExpressingDisapproval about a state of affairs that has already occurred.") Mid-level-ontology.kif 14584-14585 Regretting is a subclass of expressing disapproval

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


(subclass Apologizing Regretting) Mid-level-ontology.kif 14583-14583 Apologizing is a subclass of regretting
(termFormat EnglishLanguage Regretting "regretting") domainEnglishFormat.kif 49257-49257 Apologizing is a subclass of regretting
(termFormat ChineseTraditionalLanguage Regretting "εΎŒζ‚”") domainEnglishFormat.kif 49258-49258 Apologizing is a subclass of regretting
(termFormat ChineseLanguage Regretting "εŽζ‚”") domainEnglishFormat.kif 49259-49259 Apologizing is a subclass of regretting

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


(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))		 Mid-level-ontology.kif 14587-14592 If X is an instance of regretting, Y is a patient of X, and Y is an instance of sentence, then Y is true


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners