Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| appearance as argument number 1 |
|
| (documentation Paper EnglishLanguage "Paper is a flat sheet of fibers, usually produced by spreading a wet solution of wood particles on a flat surface and drying through heat and pressure. The fibers can also be cotton or a synthetic, although typically the bulk of the substance is wood fibers. This includes all manner of paper products that may have varying thicknesses, colors or texture. This is distinguished from flat wood products such as plywood and particle board which have a structural function in building construction. Sheathing materials such as the paper affixed to sheetrock however, is paper.") | Mid-level-ontology.kif 4195-4205 | |
| (subclass Paper Artifact) | Mid-level-ontology.kif 4206-4206 | Paper is a subclass of artifact |
| (externalImage Paper "http://articulatesoftware.com/SUMOpictures/education/ supplies/ supplies_2/ paper_01.png") | pictureList.kif 653-653 | Paper is a subclass of artifact |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?X Paper) (exists (?MAKE ?CELL ?PRESS) (and (instance ?MAKE Making) (instance ?CELL Cellulose) (instance ?PRESS Compressing) (resource ?MAKE ?CELL) (result ?MAKE ?X) (subProcess ?MAKE ?PRESS) (patient ?PRESS ?CELL)))) |
Mid-level-ontology.kif 4208-4218 | If X is an instance of paper, then All of the following hold: (1) there exist Y, Z (2) W such that Y is an instance of making (3) Z is an instance of cellulose (4) W is an instance of compressing (5) Z is a resource for Y (6) X is a result of Y (7) Y is a subprocess of W (8) Z is a patient of W |
| (=> (instance ?PAPER Paper) (modalAttribute (hasPurpose ?PAPER (exists (?TEXT) (and (instance ?TEXT Text) (part ?TEXT ?PAPER)))) Likely)) |
Mid-level-ontology.kif 4220-4228 | If X is an instance of paper, then the statement X has the purpose there exists Y such that Y is an instance of text and Y is a part of X has the modal force of likely |
| (=> (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 |
| consequent |
|
|
|
