| 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 31627-31629 | |
| (subclass Prompting Requesting) | Mid-level-ontology.kif 31626-31626 | Prompting est une sous-classe de demander |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Prompting "prompting") | domainEnglishFormat.kif 65358-65358 |
| 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 31631-31643 |
|
|
|
|