Committing
|
|
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 13268-13270 | |
(subclass Committing LinguisticCommunication) | Merge.kif 13267-13267 | Committing is a subclass of linguistic communication |
appearance as argument number 2 |
(subclass ClosingContract Committing) | Mid-level-ontology.kif 21535-21535 | Closing contract is a subclass of committing |
(subclass Offering Committing) | Merge.kif 13279-13279 | Offering is a subclass of committing |
(subclass Reserving Committing) | Dining.kif 756-756 | Reserving is a subclass of committing |
(subclass SigningAnAgreement Committing) | Geography.kif 3117-3117 | Signing an agreement is a subclass of committing |
(subclass Threatening Committing) | Mid-level-ontology.kif 848-848 | Threatening is a subclass of committing |
(termFormat ChineseLanguage Committing "承诺") | chinese_format.kif 1203-1203 | |
(termFormat EnglishLanguage Committing "committing") | english_format.kif 1623-1623 | |
(termFormat FrenchLanguage Committing "investir") | french_format.kif 881-881 | |
(termFormat Hindi Committing "") | terms-hindi.txt 414-414 | |
(termFormat ItalianLanguage Committing "Impegnarsi") | terms-it.txt 417-417 | |
(termFormat JapaneseLanguage Committing "委託") | japanese_format.kif 2565-2565 | |
(termFormat PortugueseLanguage Committing "Comprometer-se") | portuguese_format.kif 833-833 | |
(termFormat cb Committing "paghimo") | terms-cb.txt 419-419 | |
(termFormat cz Committing "committing") | terms-cz.txt 453-453 | |
(termFormat ro Committing "asumare") | relations-ro.kif 902-902 | |
(termFormat tg Committing "pagpapangako") | terms-tg.txt 418-418 |
appearance as argument number 5 |
(partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 13082-13082 | 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 3001-3009 |
|
(=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13272-13277 |
|
consequent |