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

Formal Language: 



KB Term:  Term intersection
English Word: 

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, compromise, conceding, concession, conclusion, confide, confirmation, connivance, contract, contract_in, covenant...

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


s__documentation(s__Committing,s__ChineseLanguage,'"这个 Class 的实例承诺 agent 在未来会有一些行动。 例如:鲍勃答应苏珊,晚上11点他会回家。"')

chinese_format.kif 3274-3275
s__documentation(s__Committing,s__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 12566-12568
s__instance(s__LinguisticCommunication,s__SetOrClass)

s__instance(s__Committing,s__SetOrClass)

s__subclass(s__Committing,s__LinguisticCommunication)

Merge.kif 12565-12565 Committing is a subclass of linguistic communication

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


s__subclass(s__ClosingContract,s__Committing)

s__instance(s__Committing,s__SetOrClass)

s__instance(s__ClosingContract,s__SetOrClass)

Mid-level-ontology.kif 19851-19851 Closing contract is a subclass of committing
s__instance(s__Offering,s__SetOrClass)

s__subclass(s__Offering,s__Committing)

s__instance(s__Committing,s__SetOrClass)

Merge.kif 12577-12577 Offering is a subclass of committing
s__subclass(s__Reserving,s__Committing)

s__instance(s__Committing,s__SetOrClass)

s__instance(s__Reserving,s__SetOrClass)

Dining.kif 709-709 Reserving is a subclass of committing
s__instance(s__SigningAnAgreement,s__SetOrClass)

s__subclass(s__SigningAnAgreement,s__Committing)

s__instance(s__Committing,s__SetOrClass)

Geography.kif 2998-2998 Signing an agreement is a subclass of committing
s__instance(s__Threatening,s__SetOrClass)

s__instance(s__Committing,s__SetOrClass)

s__subclass(s__Threatening,s__Committing)

Mid-level-ontology.kif 798-798 Threatening is a subclass of committing
s__termFormat(s__ChineseLanguage,s__Committing,'"承诺"')

chinese_format.kif 1203-1203
s__termFormat(s__EnglishLanguage,s__Committing,'"committing"')

english_format.kif 1628-1628

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


s__partition__7(s__Communication,s__Stating,s__Supposing,s__Directing,s__Committing,s__Expressing,s__Declaring)

Merge.kif 12380-12380 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring

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


( ! [V__COMMITTING,V__AGREEMENT] :
   (((s__instance(V__AGREEMENT,s__InternationalAgreement) &
         s__instance(V__COMMITTING,s__Committing) &
         s__represents(V__COMMITTING,V__AGREEMENT))
     =>
     (( ? [V__AGENT] :
         ((s__agent(V__COMMITTING,V__AGENT)
           &
           s__instance(V__AGENT,s__Nation))))))
)
)

Geography.kif 2882-2890
No TPTP formula. May not be expressible in strict first order. Merge.kif 12570-12575

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


( ! [V__AGR,V__DATE] :
   (((s__instance(V__AGR,s__Proposition) &
         s__subclass(V__DATE,s__TimePosition) &
         s__instance(V__DATE,s__Class))
       =>
       ((s__agreementAdoptionDate(V__AGR,V__DATE)
         =>
         (( ? [V__PROCESS, V__DAY] :
             ((s__instance(V__DAY,s__TimePosition) &
                 (s__instance(V__PROCESS,s__Committing) &
                   s__instance(V__DAY,V__DATE)
                 &
                 s__patient(V__PROCESS,V__AGR)
               &
               s__time(V__PROCESS,V__DAY)))))))))
)
)

Government.kif 693-700
( ! [V__COMPACT] :
   ((s__instance(V__COMPACT,s__Agreement) =>
       (( ? [V__COMM] :
           ((s__instance(V__COMM,s__Committing) &
               s__represents(V__COMM,V__COMPACT))))))
   )
)

Mid-level-ontology.kif 12546-12551
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18127-18133
( ! [V__TREATY] :
   ((s__instance(V__TREATY,s__TreatyDocument) =>
       (( ? [V__COMM, V__COUNTRY1, V__COUNTRY2] :
           ((s__instance(V__COMM,s__Committing) &
               s__patient(V__COMM,V__TREATY)
             &
             s__instance(V__COUNTRY1,s__GeopoliticalArea) &
             s__agent(V__COMM,V__COUNTRY1)
           &
           s__instance(V__COUNTRY2,s__GeopoliticalArea) &
           s__agent(V__COMM,V__COUNTRY2)
         &
         ~((V__COUNTRY1 = V__COUNTRY2)))))))
)
)

Geography.kif 2920-2930
( ! [V__AGENT,V__CONTENT] :
   (((s__instance(V__AGENT,s__CognitiveAgent) &
         s__instance(V__CONTENT,s__Agreement))
       =>
       ((s__partyToAgreement(V__AGENT,V__CONTENT)
         =>
         (( ? [V__C] :
             ((s__instance(V__C,s__Committing) &
                 s__agent(V__C,V__AGENT)
               &
               s__patient(V__C,V__CONTENT))))))))
)
)

Mid-level-ontology.kif 12582-12588


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