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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Committing

Sigma KEE - Committing
Committing(committing)Hippocratic_oath, Missouri_Compromise, abandon, acceptance, accession, accommodation, accord_and_satisfaction, acquiescence, adscript, adscripted, affirmation, agreement, appease, apprenticed, arrangement, article, articled, assent, assenting, assurance, assure, bail, bargain_down, bayat, beat_down, betrothal, bid, bidding, bind, bound, cahoot, certify, check, clean_bill_of_health, clinch, collateralize, collusion, commination, commit, commitment, committing, compromise, conceding, concession, conclusion, confide, confirmation, connivance, contract, contract_in...

appearance as argument number 1
-------------------------


(documentation Committing ChineseLanguage "这个 Class 的实例承诺 agent 在未来会有一些行动。 例如:鲍勃答应苏珊,晚上11点他会回家。") Merge.kif 13196-13197
(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 13193-13195
(subclass Committing LinguisticCommunication) Merge.kif 13192-13192 Committing is a subclass of linguistic communication

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


(subclass ClosingContract Committing) Mid-level-ontology.kif 19134-19134 Closing contract is a subclass of committing
(subclass Offering Committing) Merge.kif 13206-13206 Offering is a subclass of committing
(subclass Reserving Committing) Dining.kif 713-713 Reserving is a subclass of committing
(subclass SigningAnAgreement Committing) Geography.kif 2963-2963 Signing an agreement is a subclass of committing
(subclass Threatening Committing) Mid-level-ontology.kif 1241-1241 Threatening is a subclass of committing
(termFormat ChineseLanguage Committing "承诺") chinese_format.kif 1203-1203 "承诺" is the printable form of committing in ChineseLanguage
(termFormat EnglishLanguage Committing "committing") english_format.kif 1686-1686 "committing" is the printable form of committing in english language
(termFormat JapaneseLanguage Committing "委託") english_format.kif 1687-1687 "委託" is the printable form of committing in japanese language

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


(partition Communication Stating Supposing Directing Committing Expressing Declaring) Merge.kif 12972-12972 Communication is exhaustively partitioned into 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 2848-2856
(=>
    (and
        (instance ?COMMIT Committing)
        (patient ?COMMIT ?FORMULA)
        (instance ?FORMULA Formula))
    (modalAttribute ?FORMULA Promise))
Merge.kif 13199-13204

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 17491-17497
(=>
    (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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners