MakingFn |
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 | |
(instance MakingFn UnaryFunction) | Merge.kif 18449-18449 | |
(rangeSubclass MakingFn Object) | Merge.kif 18451-18451 |
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 |