Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Committing
Committing

VerbNet: promise-37.13|promise, dedicate-79|commit, dedicate-79|commit, settle-89|covenant, defend-85|insure, settle-89|settle, keep-15.2|leave, give-13.1|pawn, get-13.5.1|save, defend-85|insure, dedicate-79|commit, get-13.5.1|save, get-13.5.1|save, keep-15.2|leave, give-13.1|pawn, future_having-13.3|promise, ensure-99|reinsure, get-13.5.1|save, get-13.5.1|secure, settle-89|settle, give-13.1|pawn, settle-89|settle, settle-89|settle, dedicate-79|commit, conjecture-29.5|guarantee, defend-85|insure,


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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners