NakedPromise - Sigma Knowledge base Browser

appearance as argument number 1

(contraryAttribute NakedPromise Contract)	Mid-level-ontology.kif 15511-15511	NakedPromise は Contract の disjoint では
(documentation NakedPromise EnglishLanguage "A Promise where nothing is promised in return, i.e. a nudum pactum.")	Mid-level-ontology.kif 15501-15502	NakedPromise は Contract の disjoint では
(subAttribute NakedPromise Promise)	Mid-level-ontology.kif 15500-15500	NakedPromise は Promise の subattribute では

appearance as argument number 2

(termFormat ChineseLanguage NakedPromise "赤裸裸的承诺")	domainEnglishFormat.kif 39658-39658
(termFormat ChineseTraditionalLanguage NakedPromise "赤裸裸的承諾")	domainEnglishFormat.kif 39657-39657
(termFormat EnglishLanguage NakedPromise "naked promise")	domainEnglishFormat.kif 39656-39656

consequent

(=>
    (property ?ENTITY Promise)
    (or
        (property ?ENTITY Contract)
        (property ?ENTITY NakedPromise)))

Mid-level-ontology.kif 15494-15498