TreeView Knowledge Base Browser

appearance as argument number 1

(documentation Apologizing EnglishLanguage "The speaker states that some action he or she took previously was wrong in some way, that it caused harm to the hearer.")	Mid-level-ontology.kif 29004-29006
(subclass Apologizing Regretting)	Mid-level-ontology.kif 12434-12434	Apologizing is a subclass of regretting
(subclass Apologizing Stating)	Mid-level-ontology.kif 29003-29003	Apologizing is a subclass of stating

antecedent

(=>
    (and
        (instance ?A Apologizing)
        (agent ?A ?AG)
        (destination ?A ?P))
    (exists (?ACT)
        (and
            (suffers ?ACT ?P)
            (agent ?ACT ?AG)
            (holdsDuring
                (WhenFn ?A)
                (not
                    (wants ?AG ?ACT))))))

Mid-level-ontology.kif 29008-29020

If a process is an instance of Apologizing and the processG is an agent of the process and the process ends up at another agent,
then there exists the processCT such that the other agent suffers from the processCT and the processG is an agent of the processCT and the processG doesn't want the processCT holds during the time of existence of the process

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 is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: