TreeView Knowledge Base Browser - Committing

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

(documentation Committing ChineseLanguage "这个 Class 的实例承诺 agent 在未来会有一些行动。例如：鲍勃答应苏珊，晚上11点他会回家。")	chinese_format.kif 3274-3275
(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 13268-13270
(subclass Committing LinguisticCommunication)	Merge.kif 13267-13267	Committing is a subclass of linguistic communication

appearance as argument number 2

(subclass ClosingContract Committing)	Mid-level-ontology.kif 21535-21535	Closing contract is a subclass of committing
(subclass Offering Committing)	Merge.kif 13279-13279	Offering is a subclass of committing
(subclass Reserving Committing)	Dining.kif 756-756	Reserving is a subclass of committing
(subclass SigningAnAgreement Committing)	Geography.kif 3117-3117	Signing an agreement is a subclass of committing
(subclass Threatening Committing)	Mid-level-ontology.kif 848-848	Threatening is a subclass of committing
(termFormat ChineseLanguage Committing "承诺")	chinese_format.kif 1203-1203
(termFormat EnglishLanguage Committing "committing")	english_format.kif 1623-1623
(termFormat FrenchLanguage Committing "investir")	french_format.kif 881-881
(termFormat Hindi Committing "")	terms-hindi.txt 414-414
(termFormat ItalianLanguage Committing "Impegnarsi")	terms-it.txt 417-417
(termFormat JapaneseLanguage Committing "委託")	japanese_format.kif 2565-2565
(termFormat PortugueseLanguage Committing "Comprometer-se")	portuguese_format.kif 833-833
(termFormat cb Committing "paghimo")	terms-cb.txt 419-419
(termFormat cz Committing "committing")	terms-cz.txt 453-453
(termFormat ro Committing "asumare")	relations-ro.kif 902-902
(termFormat tg Committing "pagpapangako")	terms-tg.txt 418-418

appearance as argument number 5

(partition Communication Stating Supposing Directing Committing Expressing Declaring)

Merge.kif 13082-13082

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 3001-3009	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
(=> (and (instance ?COMMIT Committing) (patient ?COMMIT ?FORMULA) (instance ?FORMULA Formula)) (modalAttribute ?FORMULA Promise))	Merge.kif 13272-13277	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

(=> (agreementAdoptionDate ?AGR ?DATE) (exists (?PROCESS ?DAY) (and (instance ?PROCESS Committing) (instance ?DAY ?DATE) (patient ?PROCESS ?AGR) (time ?PROCESS ?DAY))))	Government.kif 670-677	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
(=> (instance ?COMPACT Agreement) (exists (?COMM) (and (instance ?COMM Committing) (represents ?COMM ?COMPACT))))	Mid-level-ontology.kif 13992-13997	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
(=> (instance ?NEGOTIATE Negotiating) (hasPurpose ?NEGOTIATE (exists (?COMMIT) (and (instance ?COMMIT Committing) (subProcess ?COMMIT ?NEGOTIATE) (finishes (WhenFn ?COMMIT) (WhenFn ?NEGOTIATE))))))	Mid-level-ontology.kif 19741-19747	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
(=> (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 3039-3049	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 the agent is not equal to the other agent
(=> (partyToAgreement ?AGENT ?CONTENT) (exists (?C) (and (instance ?C Committing) (agent ?C ?AGENT) (patient ?C ?CONTENT))))	Mid-level-ontology.kif 14028-14034	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 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