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 12888-12889 | |
(subclass Manufacture Making) | Merge.kif 12887-12887 | 子類 Manufacture and Making |
appearance as argument number 2 |
(subclass Publication Manufacture) | Merge.kif 12891-12891 | 子類 Publication and Manufacture |
(subclass StockpilingWeaponOfMassDestruction Manufacture) | WMD.kif 696-696 | 子類 儲存大規模殺傷性武器 and Manufacture |
(termFormat ChineseLanguage Manufacture "制造") | chinese_format.kif 1187-1187 | |
(termFormat EnglishLanguage Manufacture "manufacture") | english_format.kif 1591-1591 | |
(termFormat FrenchLanguage Manufacture "manufacture") | french_format.kif 865-865 | |
(termFormat Hindi Manufacture "utpaadana") | terms-hindi.txt 397-397 | |
(termFormat ItalianLanguage Manufacture "Lavorazione") | terms-it.txt 400-400 | |
(termFormat JapaneseLanguage Manufacture "製造") | japanese_format.kif 2549-2549 | |
(termFormat PortugueseLanguage Manufacture "Manufatura") | portuguese_format.kif 817-817 | |
(termFormat cz Manufacture "manufacture") | terms-cz.txt 436-436 | |
(termFormat ro Manufacture "fabricare") | relations-ro.kif 886-886 | |
(termFormat tg Manufacture "gawa") | terms-tg.txt 401-401 |
antecedent |
(=> (and (instance ?P ForestProduct) (instance ?M Manufacture) (result ?M ?P) (patient ?M ?X) (instance ?X Organism)) (exists (?A ?F) (and (instance ?A Agriculture) (result ?A ?X) (eventLocated ?A ?F) (instance ?F Forest)))) |
Economy.kif 5210-5222 | |
(=> (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 |