Regretting - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Regretting

Regretting(regretting)

appearance as argument number 1

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

appearance as argument number 2

(subclass Apologizing Regretting)	Mid-level-ontology.kif 13869-13869	Apologizing is a subclass of regretting
(termFormat ChineseLanguage Regretting "后悔")	domainEnglishFormat.kif 49295-49295	Apologizing is a subclass of regretting
(termFormat ChineseTraditionalLanguage Regretting "後悔")	domainEnglishFormat.kif 49294-49294	Apologizing is a subclass of regretting
(termFormat EnglishLanguage Regretting "regretting")	domainEnglishFormat.kif 49293-49293	Apologizing is a subclass of regretting

antecedent

(=>
    (and
        (instance ?R Regretting)
        (patient ?R ?T)
        (instance ?T Sentence))
    (truth ?T True))

Mid-level-ontology.kif 13873-13878

If a process is an instance of regretting and a sentence is a patient of the process and the sentence is an instance of sentence,
then the sentence 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 is open source software produced by Articulate Software and its partners