|
|
   Prompting
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Prompting EnglishLanguage "A Prompting is an implied sort of Requesting, in which the speaker begins an utterance, asking the hearer to complete it.") | Mid-level-ontology.kif 29694-29696 | |
| (subclass Prompting Requesting) | Mid-level-ontology.kif 29693-29693 | Prompting e' uma sub-classe de Pedir |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Prompting "prompting") | domainEnglishFormat.kif 65364-65364 |
| antecedent |
|
|
| (=> (instance ?P Prompting) (exists (?H ?A) (and (destination ?P ?H) (agent ?P ?A) (desires ?A (exists (?LC) (and (instance ?LC LinguisticCommunication) (agent ?LC ?H) (earlier ?P ?LC) (subsumesContentInstance ?LC ?P))))))) |
Mid-level-ontology.kif 29698-29710 |
|
|
|
|