PaperShredder |
appearance as argument number 1 |
(documentation PaperShredder EnglishLanguage "A CuttingDevice used to cut Paper into small pieces so that the contained information can not be decoded again.") | Mid-level-ontology.kif 18187-18188 | |
(subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 18186-18186 | 子類 PaperShredder and 切割裝置 |
appearance as argument number 2 |
(termFormat EnglishLanguage PaperShredder "paper shredder") | domainEnglishFormat.kif 65290-65290 |
antecedent |
(=> (instance ?X PaperShredder) (hasPurpose ?X (exists (?CUT ?PAPER) (and (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER))))) |
Mid-level-ontology.kif 18190-18198 |
statement |
(decreasesLikelihood (exists (?X ?CUT ?PAPER ?CBO ?INFO) (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO))) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))) |
Mid-level-ontology.kif 18202-18219 | 降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙 患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀 患者 ?READ and ?INFO 早期 何時 ?CUT and 何時 ?READ |