![]() |
![]() ![]() ![]()
|
![]() |
|
appearance as argument number 1 |
![]() |
(documentation Committing ChineseLanguage "这个 Class 的实例承诺 agent 在未来会有一些行动。 例如:鲍勃答应苏珊,晚上11点他会回家。") | chinese_format.kif 3274-3275 | |
(documentation Committing EnglishLanguage "Instances of this Class commit the agent to some future course of action. For example, Bob promised Susan that he would be home by 11pm.") | Merge.kif 13376-13378 | |
(subclass Committing LinguisticCommunication) | Merge.kif 13375-13375 | Committing is a subclass of linguistic communication |
appearance as argument number 2 |
![]() |
appearance as argument number 5 |
![]() |
(partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13190-13190 | Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring |
antecedent |
![]() |
(=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 3159-3167 |
|
(=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13380-13385 |
|
consequent |
![]() |
![]() |
![]() |