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 |
(documentation Promise ChineseLanguage "这个 Attribute 是用来表示一个 Agent 答应实现 Proposition。 Promise 可以是含蓄或明确的,它可以以书面或口头或手势形式来表达。") | chinese_format.kif 3911-3912 | |
(documentation Promise EnglishLanguage "Attribute that applies to Propositions that an AutonomousAgent promises to make true. Promises may be implicit or explicit. They may be expressed in a written or verbal or gestural manner.") | Merge.kif 17495-17497 | |
(subAttribute Promise Obligation) | Merge.kif 17494-17494 | Promise is a subattribute of obligation |
appearance as argument number 2 |
(subAttribute Contract Promise) | Mid-level-ontology.kif 14134-14134 | Contract is a subattribute of promise |
(subAttribute NakedPromise Promise) | Mid-level-ontology.kif 14129-14129 | Naked promise is a subattribute of promise |
(termFormat ChineseLanguage Promise "诺言") | domainEnglishFormat.kif 47708-47708 | |
(termFormat ChineseTraditionalLanguage Promise "諾言") | domainEnglishFormat.kif 47707-47707 | |
(termFormat EnglishLanguage Promise "promise") | domainEnglishFormat.kif 47706-47706 |
antecedent |
(=> (and (agreementClause ?PROP ?ATTR ?AGREEMENT ?AGENT) (or (equal ?ATTR Obligation) (equal ?ATTR Promise))) (modalAttribute (exists (?PROC) (and (realization ?PROC ?PROP) (agent ?PROC ?AGENT))) Likely)) |
Mid-level-ontology.kif 14079-14089 |
|
(=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 14123-14127 |
|
consequent |