NakedPromise
|
|
appearance as argument number 1 |
(contraryAttribute NakedPromise Contract) | Mid-level-ontology.kif 14167-14167 | |
(documentation NakedPromise EnglishLanguage "A Promise where nothing is promised in return, i.e. a nudum pactum.") | Mid-level-ontology.kif 14157-14158 | |
(subAttribute NakedPromise Promise) | Mid-level-ontology.kif 14156-14156 |
appearance as argument number 2 |
(termFormat ChineseLanguage NakedPromise "赤裸裸的承诺") | domainEnglishFormat.kif 39647-39647 | |
(termFormat ChineseTraditionalLanguage NakedPromise "赤裸裸的承諾") | domainEnglishFormat.kif 39646-39646 | |
(termFormat EnglishLanguage NakedPromise "naked promise") | domainEnglishFormat.kif 39645-39645 |
consequent |
(=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 14150-14154 |