Manufacture(制造) | ![]() |
appearance as argument number 1 |
![]() |
(documentation Manufacture ChineseLanguage "这是大规模 Making Artifact。") | chinese_format.kif 3221-3221 | |
(documentation Manufacture EnglishLanguage "The Making of Artifacts on a mass scale.") | Merge.kif 12701-12702 | |
(subclass Manufacture Making) | Merge.kif 12700-12700 | 制造 是 制作 的 subclass |
appearance as argument number 2 |
![]() |
(subclass Publication Manufacture) | Merge.kif 12704-12704 | 出版 是 制造 的 subclass |
(subclass StockpilingWeaponOfMassDestruction Manufacture) | WMD.kif 696-696 | 储存大规模杀伤性武器 是 制造 的 subclass |
(termFormat ChineseLanguage Manufacture "制造") | chinese_format.kif 1187-1187 | |
(termFormat EnglishLanguage Manufacture "manufacture") | english_format.kif 1591-1591 |
antecedent |
![]() |
(=> (and (instance ?X ReadOnlyMemoryDataStorage) (instance ?FABRICATION Manufacture) (result ?FABRICATION ?X)) (not (modalAttribute (exists (?WRITE1 ?DATA1 ?WRITE2) (and (or (instance ?WRITE2 ContentDevelopment) (instance ?WRITE2 DeletingData)) (earlier (WhenFn ?FABRICATION) (WhenFn ?WRITE1)) (patient ?WRITE1 ?X) (patient ?WRITE1 ?DATA1) (holdsDuring (ImmediateFutureFn (WhenFn ?WRITE1)) (stored ?DATA1 ?X)))) Possibility))) |
Media.kif 768-788 |
|
consequent |
![]() |
![]() |
![]() |