Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Elaborating
Elaborating(elaborating)dilate, elaborate, enlarge, expand, expatiate, exposit, expound, flesh_out, lucubrate

appearance as argument number 1
-------------------------


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

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Elaborating "elaborating") domainEnglishFormat.kif 64806-64806

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 32347-32355 If X is an instance of elaborating, then there exist Y, Z, W such that Y is an instance of linguistic communication, Y happens earlier than X, X contains information Z, Y contains information W, and Z subsumes the content of W


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