Promise - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - Promise

Promise(promise)

agreed_upon, booking, committed, confederacy, consensual, conspiracy, conspiracy_of_silence, contract, declaration, engagement, gig, guarantee, guaranty, promissory, public_easement, stipulatory

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 3911-3912
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17670-17672
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17669-17669	Promise is a subattribute of obligation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15505-15505	Contract is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15500-15500	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47710-47710	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47709-47709	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47708-47708	Naked promise is a subattribute of promise

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15450-15460	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and equal the deontic attribute and obligation or equal the deontic attribute and promise, then the statement there exists an entity such that the entity expresses the content of the proposition and the cognitive agent is an agent of the entity has the modal force of likely
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15494-15498	If an entity the attribute promise, then the entity the attribute contract or the entity the attribute naked promise

consequent

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
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 276-289	If the &egotiatedPrice$"price" negotiated for a kind of physical in an agreement is a currency measure and the agreement is a party to agreement of a cognitive agent and the agreement is a party to agreement of another cognitive agent, then the statement there exist an entity and another entity such that the entity is an instance of selling and the other entity is a patient of the entity and the other entity is an immediate instance of a kind of physical and the cognitive agent is an agent of the entity and the entity ends up at the other cognitive agent and the currency measure is a transaction amount of the entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 452-466	If an agent didn't buy an object, then the statement there exists a process such that the process is an instance of buying and the object is a patient of the process and the agent is an agent of the process has the modal force of promise and there doesn't exist the process such that the process is an instance of buying and the object is a patient of the process and the agent is an agent 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