| 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 27922-27924 | |
| (subclass Prompting Requesting) | Mid-level-ontology.kif 27921-27921 |
| 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 27926-27938 |
|
|
|