| 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 è una sottoclasse di CuttingDevice |
| 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 | decreasesLikelihood ?X ?CUT, ?PAPER, ?CBO and ?INFO ?X è un' istanza di PaperShredder ?CUT è un' istanza di Tagliare ?X è uno strumento per ?CUT ?PAPER è un' istanza di Paper ?PAPER è un paziente di ?CUT ?CBO è localizzato in ?PAPER ?CBO è un' istanza di VisualContentBearingObject ?CBO contienes informazione ?INFO and ?READ ?READ è un' istanza di Interpreting ?INFO è un paziente di ?READ il tempo di esistenza di ?CUT accades prima di il tempo di esistenza di ?READ |
|
|
|