| appearance as argument number 1 |
|
|
| (documentation Committing ChineseLanguage "这个 Class 的实例承诺 agent 在未来会有一些行动。 例如：鲍勃答应苏珊，晚上11点他会回家。") | Merge.kif 13138-13139 | |
| (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 13135-13137 | |
| (subclass Committing LinguisticCommunication) | Merge.kif 13134-13134 |
| appearance as argument number 2 |
|
|
| (subclass ClosingContract Committing) | Mid-level-ontology.kif 19076-19076 | |
| (subclass Offering Committing) | Merge.kif 13148-13148 | |
| (subclass Reserving Committing) | Dining.kif 713-713 | |
| (subclass SigningAnAgreement Committing) | Geography.kif 2963-2963 | |
| (subclass Threatening Committing) | Mid-level-ontology.kif 1241-1241 | |
| (termFormat ChineseLanguage Committing "承诺") | chinese_format.kif 1203-1203 | |
| (termFormat EnglishLanguage Committing "committing") | english_format.kif 890-890 | |
| (termFormat FrenchLanguage Committing "investir") | french_format.kif 881-881 | |
| (termFormat Hindi Committing "") | terms-hindi.txt 414-414 | |
| (termFormat ItalianLanguage Committing "Impegnarsi") | terms-it.txt 415-415 | |
| (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 tg Committing "pagpapangako") | terms-tg.txt 418-418 |
| appearance as argument number 5 |
|
|
| (partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 12914-12914 |
| antecedent |
|
|
| (=> (and (instance ?AGREEMENT InternationalAgreement) (instance ?COMMITTING Committing) (represents ?COMMITTING ?AGREEMENT)) (exists (?AGENT) (and (agent ?COMMITTING ?AGENT) (instance ?AGENT Nation)))) |
Geography.kif 2848-2856 | |
| (=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 13141-13146 |
| consequent |
|
|
| (=> (agreementAdoptionDate ?AGR ?DATE) (exists (?PROCESS ?DAY) (and (instance ?PROCESS Committing) (instance ?DAY ?DATE) (patient ?PROCESS ?AGR) (time ?PROCESS ?DAY)))) |
Government.kif 700-707 | |
| (=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT)))) |
Mid-level-ontology.kif 11568-11573 | |
| (=> (instance ?NEGOTIATE Negotiating) (hasPurpose ?NEGOTIATE (exists (?COMMIT) (and (instance ?COMMIT Committing) (subProcess ?COMMIT ?NEGOTIATE) (finishes (WhenFn ?COMMIT) (WhenFn ?NEGOTIATE)))))) |
Mid-level-ontology.kif 17433-17439 | |
| (=> (instance ?TREATY TreatyDocument) (exists (?COMM ?COUNTRY1 ?COUNTRY2) (and (instance ?COMM Committing) (patient ?COMM ?TREATY) (instance ?COUNTRY1 GeopoliticalArea) (agent ?COMM ?COUNTRY1) (instance ?COUNTRY2 GeopoliticalArea) (agent ?COMM ?COUNTRY2) (not (equal ?COUNTRY1 ?COUNTRY2))))) |
Geography.kif 2885-2895 | |
| (=> (partyToAgreement ?AGENT ?CONTENT) (exists (?C) (and (instance ?C Committing) (agent ?C ?AGENT) (patient ?C ?CONTENT)))) |
Mid-level-ontology.kif 11604-11610 |
|
|
|