| 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 15933-15933 | |
| (subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 15932-15932 | subclass PaperShredder and CuttingDevice |
| antecedent |
|
|
| (=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X)) (hasPurpose ?CUT (=> (and (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instance ?PAPER Paper) (located ?CBO ?PAPER)) (decreasesLikelihood (patient ?CUT ?PAPER) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))))))) |
Mid-level-ontology.kif 15945-15965 |
|
| (=> (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 15935-15943 |
|
|
|