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


KB Term:  Term intersection
English Word: 

  GroceryStore

 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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners