NakedPromise(naked promise) |
appearance as argument number 1 |
(contraryAttribute NakedPromise Contract) | Mid-level-ontology.kif 14358-14358 | Naked promise is the opposite of contract |
(documentation NakedPromise EnglishLanguage "A Promise where nothing is promised in return, i.e. a nudum pactum.") | Mid-level-ontology.kif 14348-14349 | Naked promise is the opposite of contract |
(subAttribute NakedPromise Promise) | Mid-level-ontology.kif 14347-14347 | Naked promise is a subattribute of promise |
appearance as argument number 2 |
(termFormat ChineseLanguage NakedPromise "赤裸裸的承诺") | domainEnglishFormat.kif 39683-39683 | |
(termFormat ChineseTraditionalLanguage NakedPromise "赤裸裸的承諾") | domainEnglishFormat.kif 39682-39682 | |
(termFormat EnglishLanguage NakedPromise "naked promise") | domainEnglishFormat.kif 39681-39681 |
consequent |
(=> (property ?ENTITY Promise) (or (property ?ENTITY Contract) (property ?ENTITY NakedPromise))) |
Mid-level-ontology.kif 14341-14345 |
|