Restating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Restating

Restating

cite, ditto, dwell, harp, ingeminate, iterate, paraphrase, perseverate, quote, regurgitate, reiterate, repeat, rephrase, reproduce, restate, resume, retell, reword, sum_up, summarise, summarize

VerbNet: transfer_mesg-37.1.1|quote, say-37.7|repeat, say-37.7|repeat, transfer_mesg-37.1.1|quote, say-37.7|repeat, say-37.7|repeat, say-37.7|repeat, transfer_mesg-37.1.1|sum_up, say-37.7|repeat, transfer_mesg-37.1.1|sum_up, transfer_mesg-37.1.1|sum_up, transfer_mesg-37.1.1|sum_up,

appearance as argument number 1

(documentation Restating EnglishLanguage "A Communication act in which the speaker reiterates the same Proposition as a previous speech act. Note that this is not a Stating, since the speaker may simply be saying what someone else said, and not actually committing to the truth of what that person said.")	Mid-level-ontology.kif 27847-27851
(subclass Restating LinguisticCommunication)	Mid-level-ontology.kif 27846-27846	Restating is a subclass of linguistic communication

antecedent

(=>
    (instance ?R Restating)
    (exists (?L)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?R)
            (containsInformation ?R ?RP)
            (containsInformation ?L ?LP)
            (equivalentContentInstance ?RP ?LP))))

Mid-level-ontology.kif 27853-27861

If a time interval is an instance of Restating,
then there exists another time interval such that the other time interval is an instance of linguistic communication and the other time interval happens earlier than the time interval and the time interval contains information the time intervalP and the other time interval contains information the other time intervalP and the time intervalP is equivalent to the other time intervalP

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners