Elaborating - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - Elaborating

Elaborating

dilate, elaborate, enlarge, expand, expatiate, exposit, expound, flesh_out, lucubrate

VerbNet: lecture-37.11|elaborate, lecture-37.11|elaborate, lecture-37.11|elaborate, lecture-37.11|elaborate, lecture-37.11|elaborate, lecture-37.11|elaborate, lecture-37.11|elaborate, lecture-37.11|elaborate, lecture-37.11|elaborate,

appearance as argument number 1

(documentation Elaborating EnglishLanguage "A LinguisticCommunication in which the agent adds additional content beyond the original utterance.")	Mid-level-ontology.kif 27833-27834
(subclass Elaborating LinguisticCommunication)	Mid-level-ontology.kif 27832-27832	Elaborating is a subclass of linguistic communication

antecedent

(=>
    (instance ?E Elaborating)
    (exists (?L ?EP ?LP)
        (and
            (instance ?L LinguisticCommunication)
            (earlier ?L ?E)
            (containsInformation ?E ?EP)
            (containsInformation ?L ?LP)
            (subsumesContentInstance ?EP ?LP))))

Mid-level-ontology.kif 27836-27844

If a time interval is an instance of Elaborating,
then there exist another time interval, the time intervalP and the other time intervalP 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 subsumes the content of 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