| 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 18214-18215 | |
| (subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 18213-18213 | PaperShredder は CuttingDevice の subclass では %n |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PaperShredder "paper shredder") | domainEnglishFormat.kif 65292-65292 |
| 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 18217-18225 |
| 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 18229-18246 | ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X は PaperShredder の instance では %n ?CUT は 切断 の instance では %n ?X は ?CUT の instrument では %n ?PAPER は Paper の instance では %n ?PAPER は ?CUT の patient では %n ?CBO は ?PAPER に located して %n ?CBO は VisualContentBearingObject の instance では %n ?CBO は ?INFO の情報を contains %n{ない} は ?READ ?READ は Interpreting の instance では %n ?INFO は ?READ の patient では %n ?CUT の time の existence は ?READ の time の existence より earlier happens %n{ない} を decreases 可能性がある |
|
|
|