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

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3274-3275
No TPTP formula. May not be expressible in strict first order. Merge.kif 13222-13224
No TPTP formula. May not be expressible in strict first order. Merge.kif 13221-13221 Committing is a subclass of linguistic communication

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 21508-21508 Closing contract is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Merge.kif 13233-13233 Offering is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Dining.kif 756-756 Reserving is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Geography.kif 3117-3117 Signing an agreement is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 855-855 Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1203-1203
No TPTP formula. May not be expressible in strict first order. english_format.kif 1623-1623
No TPTP formula. May not be expressible in strict first order. french_format.kif 881-881
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 414-414
No TPTP formula. May not be expressible in strict first order. terms-it.txt 417-417
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2565-2565
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 833-833
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 419-419
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 453-453
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 902-902
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 418-418

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 13036-13036 Communication is exhaustively partitioned into stating, supposing, directing, committing, expressing, and declaring

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


No TPTP formula. May not be expressible in strict first order. Geography.kif 3001-3009
No TPTP formula. May not be expressible in strict first order. Merge.kif 13226-13231

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


No TPTP formula. May not be expressible in strict first order. Government.kif 706-713
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13965-13970
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19714-19720
No TPTP formula. May not be expressible in strict first order. Geography.kif 3039-3049
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14001-14007


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