Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Prompting(prompting) |  | cue, prompt, prompting, remind |
| appearance as argument number 1 |
|
|
| (subclass Prompting Requesting) | Mid-level-ontology.kif 32312-32312 | Prompting is a subclass of requesting |
| (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 32313-32315 | Prompting is a subclass of requesting |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Prompting "prompting") | domainEnglishFormat.kif 65367-65367 |
| 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 32317-32329 | If X is an instance of prompting, then All of the following hold: (1) there exist Y (2) Z such that X ends up at Y (3) Z is an agent of X (4) Z desires there exists W such that W is an instance of linguistic communication (5) Y is an agent of W (6) X happens earlier than W (7) W subsumes the content of X |
|