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 13192-13193
(subclass Regretting ExpressingDisapproval)	Mid-level-ontology.kif 13190-13190	Regretting is a subclass of expressing disapproval

appearance as argument number 2

(subclass Apologizing Regretting)	Mid-level-ontology.kif 13191-13191	Apologizing is a subclass of regretting
(termFormat ChineseLanguage Regretting "后悔")	domainEnglishFormat.kif 49302-49302	Apologizing is a subclass of regretting
(termFormat ChineseTraditionalLanguage Regretting "後悔")	domainEnglishFormat.kif 49301-49301	Apologizing is a subclass of regretting
(termFormat EnglishLanguage Regretting "regretting")	domainEnglishFormat.kif 49300-49300	Apologizing is a subclass of regretting

antecedent

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

Mid-level-ontology.kif 13195-13200

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