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 17495-17497
No TPTP formula. May not be expressible in strict first order.	Merge.kif 17494-17494	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 14134-14134	Contract is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14129-14129	Naked promise is a subattribute of promise
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47708-47708
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47707-47707
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 47706-47706

antecedent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 14079-14089	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 14123-14127	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 13226-13231	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