Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Elaborating
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Elaborating LinguisticCommunication) | Mid-level-ontology.kif 32262-32262 | 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 32263-32264 | 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 32266-32274 | 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 |
|