TreeView Knowledge Base Browser

appearance as argument number 1

(documentation MakingFn ChineseLanguage "这是用来代表建立一样 Object 的 Function 。")	chinese_format.kif 4055-4055
(documentation MakingFn EnglishLanguage "A Function that denotes the creation of an Object.")	Merge.kif 18452-18453
(domainSubclass MakingFn 1 Making)	Merge.kif 18450-18450	域子類 MakingFn, 1 and Making
(instance MakingFn UnaryFunction)	Merge.kif 18449-18449	例 MakingFn and UnaryFunction
(rangeSubclass MakingFn Object)	Merge.kif 18451-18451	範圍子類 MakingFn and Object

appearance as argument number 2

(format ChineseLanguage MakingFn "%1 的 making ")	domainEnglishFormat.kif 3806-3806
(format ChineseTraditionalLanguage MakingFn "%1 的 making ")	domainEnglishFormat.kif 3805-3805
(format EnglishLanguage MakingFn "the making of %1")	domainEnglishFormat.kif 3804-3804
(termFormat EnglishLanguage MakingFn "Making fn")	domainEnglishFormat.kif 65142-65142

antecedent

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

Merge.kif 18455-18460