MakingFn - Sigma Knowledge base Browser

appearance as argument number 1

(instance MakingFn UnaryFunction)	Merge.kif 18718-18718	Making fn is an instance of unary function
(domainSubclass MakingFn 1 Making)	Merge.kif 18719-18719	The number 1 argument of Making fn is a subclass of making
(rangeSubclass MakingFn Object)	Merge.kif 18720-18720	The values returned by Making fn are subclasses of object
(documentation MakingFn EnglishLanguage "A Function that denotes the creation of an Object.")	Merge.kif 18721-18722	The values returned by Making fn are subclasses of object

appearance as argument number 2

(format EnglishLanguage MakingFn "the making of %1")	domainEnglishFormat.kif 3802-3802
(format ChineseTraditionalLanguage MakingFn "%1 的 making ")	domainEnglishFormat.kif 3803-3803
(format ChineseLanguage MakingFn "%1 的 making ")	domainEnglishFormat.kif 3804-3804
(termFormat EnglishLanguage MakingFn "Making fn")	domainEnglishFormat.kif 65143-65143

antecedent

(=>
    (instance ?X
        (MakingFn ?Y))
    (exists (?OBJECT)
        (and
            (instance ?OBJECT ?Y)
            (result ?X ?OBJECT))))

If X is an instance of the making of Y, then there exists Z such that Z is an instance of Y and Z is a result of X