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 12154-12156 | |
(subclass Committing LinguisticCommunication) | Merge.kif 12153-12153 | subclass Committing and LinguisticCommunication |
appearance as argument number 2 |
![]() |
(subclass ClosingContract Committing) | Mid-level-ontology.kif 19135-19135 | subclass ClosingContract and Committing |
(subclass Offering Committing) | Merge.kif 12165-12165 | subclass Offering and Committing |
(subclass Reserving Committing) | Dining.kif 709-709 | subclass Reserving and Committing |
(subclass SigningAnAgreement Committing) | Geography.kif 2976-2976 | subclass SigningAnAgreement and Committing |
(subclass Threatening Committing) | Mid-level-ontology.kif 1237-1237 | subclass Threatening and Committing |
(termFormat ChineseLanguage Committing "承诺") | chinese_format.kif 1203-1203 | termFormat ChineseLanguage, Committing and "承诺" |
(termFormat EnglishLanguage Committing "committing") | english_format.kif 1628-1628 | termFormat EnglishLanguage, Committing and "committing" |
appearance as argument number 5 |
![]() |
(partition Communication Stating Supposing Directing Committing Expressing Declaring) | Merge.kif 11968-11968 | partition Communication, 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 2860-2868 | |
(=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise)) |
Merge.kif 12158-12163 |
consequent |
![]() |
(=> (agreementAdoptionDate ?AGR ?DATE) (exists (?PROCESS ?DAY) (and (instance ?PROCESS Committing) (instance ?DAY ?DATE) (patient ?PROCESS ?AGR) (time ?PROCESS ?DAY)))) |
Government.kif 693-700 | |
(=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT)))) |
Mid-level-ontology.kif 11573-11578 |
|
(=> (instance ?NEGOTIATE Negotiating) (hasPurpose ?NEGOTIATE (exists (?COMMIT) (and (instance ?COMMIT Committing) (subProcess ?COMMIT ?NEGOTIATE) (finishes (WhenFn ?COMMIT) (WhenFn ?NEGOTIATE)))))) |
Mid-level-ontology.kif 17492-17498 |
|
(=> (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 2898-2908 | |
(=> (partyToAgreement ?AGENT ?CONTENT) (exists (?C) (and (instance ?C Committing) (agent ?C ?AGENT) (patient ?C ?CONTENT)))) |
Mid-level-ontology.kif 11609-11615 |
![]() |
![]() |