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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Committing

Sigma KEE - Committing
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 12976-12978
(subclass Committing LinguisticCommunication) Merge.kif 12975-12975

appearance as argument number 2
-------------------------


(subclass ClosingContract Committing) Mid-level-ontology.kif 20801-20801
(subclass Offering Committing) Merge.kif 12987-12987
(subclass Reserving Committing) Dining.kif 709-709
(subclass SigningAnAgreement Committing) Geography.kif 3039-3039
(subclass Threatening Committing) Mid-level-ontology.kif 816-816
(termFormat ChineseLanguage Committing "承诺") chinese_format.kif 1203-1203
(termFormat EnglishLanguage Committing "committing") english_format.kif 1623-1623

appearance as argument number 5
-------------------------


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12790-12790

antecedent
-------------------------


(=>
    (and
        (instance ?AGREEMENT InternationalAgreement)
        (instance ?COMMITTING Committing)
        (represents ?COMMITTING ?AGREEMENT))
    (exists (?AGENT)
        (and
            (agent ?COMMITTING ?AGENT)
            (instance ?AGENT Nation))))
Geography.kif 2923-2931
(=>
    (and
        (instance ?COMMIT Committing)
        (patient ?COMMIT ?FORMULA)
        (instance ?FORMULA Formula))
    (modalAttribute ?FORMULA Promise))
Merge.kif 12980-12985

consequent
-------------------------


(=>
    (agreementAdoptionDate ?AGR ?DATE)
    (exists (?PROCESS ?DAY)
        (and
            (instance ?PROCESS Committing)
            (instance ?DAY ?DATE)
            (patient ?PROCESS ?AGR)
            (time ?PROCESS ?DAY))))
Government.kif 692-699
(=>
    (instance ?COMPACT Agreement)
    (exists (?COMM)
        (and
            (instance ?COMM Committing)
            (represents ?COMM ?COMPACT))))
Mid-level-ontology.kif 13431-13436
(=>
    (instance ?NEGOTIATE Negotiating)
    (hasPurpose ?NEGOTIATE
        (exists (?COMMIT)
            (and
                (instance ?COMMIT Committing)
                (subProcess ?COMMIT ?NEGOTIATE)
                (finishes
                    (WhenFn ?COMMIT)
                    (WhenFn ?NEGOTIATE))))))
Mid-level-ontology.kif 19064-19070
(=>
    (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 2961-2971
(=>
    (partyToAgreement ?AGENT ?CONTENT)
    (exists (?C)
        (and
            (instance ?C Committing)
            (agent ?C ?AGENT)
            (patient ?C ?CONTENT))))
Mid-level-ontology.kif 13467-13473


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners