Making(Fabbricazione) |
appearance as argument number 1 |
(documentation Making ChineseLanguage "这是制作个别 Artifact 或一种 Artifact 的 Creation subclass。") | chinese_format.kif 3217-3218 | |
(documentation Making EnglishLanguage "The subclass of Creation in which an individual Artifact or a type of Artifact is made.") | Merge.kif 12860-12861 | |
(subclass Making Creation) | Merge.kif 12858-12858 | Fabbricazione è una sottoclasse di Creazione |
(subclass Making IntentionalProcess) | Merge.kif 12859-12859 | Fabbricazione è una sottoclasse di ProcessoIntenzionale |
appearance as argument number 2 |
appearance as argument number 3 |
(domainSubclass MakingFn 1 Making) | Merge.kif 18450-18450 | Il numero 1 argomento MakingFn è una sottoclasse diFabbricazione |
antecedent |
(=> (instance ?MAKING Making) (exists (?ARTIFACT) (and (instance ?ARTIFACT Artifact) (result ?MAKING ?ARTIFACT)))) |
Merge.kif 12863-12868 |
consequent |