Committing - Sigma Knowledge base Browser

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 13376-13378
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13375-13375	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 23125-23125	Closing contract is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13387-13387	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 3275-3275	Signing an agreement is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 848-848	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1203-1203	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1623-1623	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	french_format.kif 881-881	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	terms-hindi.txt 414-414	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	terms-it.txt 417-417	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	japanese_format.kif 2565-2565	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	portuguese_format.kif 833-833	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	terms-cb.txt 419-419	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	terms-cz.txt 453-453	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	terms-de.txt 712-712	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	relations-ro.kif 902-902	Threatening is a subclass of committing
No TPTP formula. May not be expressible in strict first order.	terms-tg.txt 418-418	Threatening is a subclass of committing

appearance as argument number 5

No TPTP formula. May not be expressible in strict first order.

Merge.kif 13190-13190

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 3159-3167	If an entity is an instance of international agreement and a process is an instance of committing and the process expresses the entity, then there exists an agent such that the agent is an agent of the process and the agent is an instance of nation
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13380-13385	If a process is an instance of committing and a formula is a patient of the process and the formula is an instance of formula, then the statement the formula has the modal force of promise

consequent

No TPTP formula. May not be expressible in strict first order.	Government.kif 669-676	If a kind of time position is an agreement adoption date of a proposition, then there exist a process and another time position such that the process is an instance of committing and the other time position is an instance of a kind of time position and the proposition is a patient of the process and the process exists during the other time position
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15336-15341	If an entity is an instance of agreement, then there exists another entity such that the other entity is an instance of committing and the other entity expresses the entity
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 21285-21291	If a physical is an instance of negotiating, then the physical has the purpose there exists an entity such that the entity is an instance of committing and the entity is a subprocess of the physical and the time of existence of the entity finishes the time of existence of the physical
No TPTP formula. May not be expressible in strict first order.	Geography.kif 3197-3207	If an entity is an instance of treaty document, then there exist a process, an agent and another agent such that the process is an instance of committing and the entity is a patient of the process and the agent is an instance of geopolitical area and the agent is an agent of the process and the other agent is an instance of geopolitical area and the other agent is an agent of the process and equal the agent and the other agent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15372-15378	If an agreement is a party to agreement of a cognitive agent, then there exists a process such that the process is an instance of committing and the cognitive agent is an agent of the process and the agreement is a patient of the process

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