Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   PaperShredder
|
|
|
| appearance as argument number 1 |
|
|
| (subclass PaperShredder CuttingDevice) | Mid-level-ontology.kif 20120-20120 | Paper shredder is a subclass of cutting device |
| (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 20121-20122 | Paper shredder is a subclass of cutting device |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage PaperShredder "paper shredder") | domainEnglishFormat.kif 65293-65293 |
| 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 20124-20132 | If X is an instance of paper shredder, then X has the purpose there exist Y, Z such that Y is an instance of cutting, X is an instrument for Y, Z is an instance of paper, and Z is a patient of Y |
| (=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instrument ?CUT ?X) (instance ?PAPER Paper) (patient ?CUT ?PAPER) (located ?CBO ?PAPER)) (modalAttribute (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ)))) Unlikely)) |
Mid-level-ontology.kif 20134-20151 | If All of the following hold: (1) X is an instance of paper shredder (2) Y is an instance of cutting (3) Z is an instance of visual content bearing object (4) Z contains information W (5) X is an instrument for Y (6) V is an instance of paper (7) V is a patient of Y (8) Z is located at V, then the statement there exists U such that U is an instance of interpreting, W is a patient of U, and the time of existence of Y happens earlier than the time of existence of U has the modal force of unlikely |
|