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 17587-17589
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17586-17586	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 14990-14990	Contract is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14985-14985	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47739-47739	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47738-47738	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47737-47737	Naked promise is a subattribute of promise

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14935-14945	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 14979-14983	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 13297-13302	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 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