| Promise | |
| 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 Agent promises to make true. Promises may be implicit or explicit. They may be expressed in a written or verbal or gestural manner.") | Merge.kif 16166-16168 | |
| (subAttribute Promise Obligation) | Merge.kif 16165-16165 | subAttribute Promise and Obligation |
| appearance as argument number 2 |
|
|
| (subAttribute Contract Promise) | Mid-level-ontology.kif 11756-11756 | subAttribute Contract and Promise |
| (subAttribute NakedPromise Promise) | Mid-level-ontology.kif 11751-11751 | subAttribute NakedPromise and Promise |
| (termFormat ChineseLanguage Promise "诺言") | domainEnglishFormat.kif 47647-47647 | termFormat ChineseLanguage, Promise and "诺言" |
| (termFormat ChineseTraditionalLanguage Promise "諾言") | domainEnglishFormat.kif 47646-47646 | termFormat ChineseTraditionalLanguage, Promise and "諾言" |
| (termFormat EnglishLanguage Promise "promise") | domainEnglishFormat.kif 47645-47645 | termFormat EnglishLanguage, Promise and "promise" |
| 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 11687-11697 | |
| (=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 11745-11749 |
| consequent |
|
|
|
|
|