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
-------------------------


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 12982-12984
No TPTP formula. May not be expressible in strict first order. Merge.kif 12981-12981 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 20825-20825 Closing contract is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Merge.kif 12993-12993 Offering is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Dining.kif 709-709 Reserving is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Geography.kif 3039-3039 Signing an agreement is a subclass of committing
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 820-820 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

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12796-12796 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 2923-2931
No TPTP formula. May not be expressible in strict first order. Merge.kif 12986-12991

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


No TPTP formula. May not be expressible in strict first order. Government.kif 704-711
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13435-13440
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 19088-19094
No TPTP formula. May not be expressible in strict first order. Geography.kif 2961-2971
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 13471-13477


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