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 16338-16340
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16337-16337	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 10915-10915	Contract is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10910-10910	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47690-47690
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47689-47689
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47688-47688

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 10860-10870	If a cognitive agent has the responsibility to make a proposition a deontic attribute in an agreement and the deontic attribute is equal to obligation or the deontic attribute is equal to 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 10904-10908	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 12311-12316	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 268-282	If the price negotiated for a kind of entity 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 and a kind of entity is a subclass of physical, then the statement if another entity is an instance of selling and a third entity is a patient of the other entity and the third entity is an immediate instance of the kind of entity and the cognitive agent is an agent of the other entity and the other entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the other entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 284-299	If the price negotiated for a kind of entity 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 and a kind of entity is a subclass of proposition, then the statement if another entity is an immediate instance of the kind of entity and a third entity expresses the content of the other entity and a fourth entity is an instance of selling and the third entity is a patient of the fourth entity and the cognitive agent is an agent of the fourth entity and the fourth entity ends up at the other cognitive agent, then the currency measure is a transaction amount of the fourth entity has the modal force of promise
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 570-584	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