TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MakingFn ChineseLanguage "这是用来代表建立一样 Object 的 Function 。")	Merge.kif 18633-18633
(documentation MakingFn EnglishLanguage "A Function that denotes the creation of an Object.")	Merge.kif 18631-18632
(domainSubclass MakingFn 1 Making)	Merge.kif 18629-18629
(instance MakingFn UnaryFunction)	Merge.kif 18628-18628
(rangeSubclass MakingFn Object)	Merge.kif 18630-18630

appearance as argument number 2

(format EnglishLanguage MakingFn "the making of %1")

domainEnglishFormat.kif 961-961

antecedent

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

Merge.kif 18635-18640