| Committing(committing) | | Hippocratic_oath, Missouri_Compromise, abandon, acceptance, accession, accommodation, accord_and_satisfaction, acquiescence, adscript, adscripted, affirmation, agreement, appease, apprenticed, arrangement, article, articled, assent, assenting, assurance, assure, bail, bargain_down, bayat, beat_down, betrothal, bid, bidding, bind, bound, cahoot, certify, check, clean_bill_of_health, clinch, collateralize, collusion, commination, commit, commitment, compromise, conceding, concession, conclusion, confide, confirmation, connivance, contract, contract_in, covenant... |
| 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 13297-13299 | |
| (subclass Committing LinguisticCommunication) | Merge.kif 13296-13296 | 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 13111-13111 | 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 2989-2997 |
|
| (=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13301-13306 |
|
| consequent |
|
|
|
|
|