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 17591-17593
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17590-17590	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 15062-15062	Contract is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15057-15057	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 15007-15017	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 15051-15055	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 13301-13306	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