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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 13268-13270
(subclass Committing LinguisticCommunication) Merge.kif 13267-13267 子類 Committing and 語言交流

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


(subclass ClosingContract Committing) Mid-level-ontology.kif 21535-21535 子類 契約終止 and Committing
(subclass Offering Committing) Merge.kif 13279-13279 子類 提供 and Committing
(subclass Reserving Committing) Dining.kif 756-756 子類 Reserving and Committing
(subclass SigningAnAgreement Committing) Geography.kif 3117-3117 子類 簽署協議 and Committing
(subclass Threatening Committing) Mid-level-ontology.kif 848-848 子類 危險的 and 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, Stating, 假如, 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
-------------------------


(=>
    (agreementAdoptionDate ?AGR ?DATE)
    (exists (?PROCESS ?DAY)
        (and
            (instance ?PROCESS Committing)
            (instance ?DAY ?DATE)
            (patient ?PROCESS ?AGR)
            (time ?PROCESS ?DAY))))		 Government.kif 670-677
(=>
    (instance ?COMPACT Agreement)
    (exists (?COMM)
        (and
            (instance ?COMM Committing)
            (represents ?COMM ?COMPACT))))		 Mid-level-ontology.kif 13992-13997
(=>
    (instance ?NEGOTIATE Negotiating)
    (hasPurpose ?NEGOTIATE
        (exists (?COMMIT)
            (and
                (instance ?COMMIT Committing)
                (subProcess ?COMMIT ?NEGOTIATE)
                (finishes
                    (WhenFn ?COMMIT)
                    (WhenFn ?NEGOTIATE))))))		 Mid-level-ontology.kif 19741-19747
(=>
    (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 3039-3049
(=>
    (partyToAgreement ?AGENT ?CONTENT)
    (exists (?C)
        (and
            (instance ?C Committing)
            (agent ?C ?AGENT)
            (patient ?C ?CONTENT))))		 Mid-level-ontology.kif 14028-14034


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 3.0 is open source software produced by Articulate Software and its partners