| appearance as argument number 1 |
|
|
| s__documentation(s__Paper,s__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 4087-4097 | |
| s__externalImage(s__Paper,'http://www.adampease.org/Articulate/SUMOpictures/pictures/education/supplies/supplies_2/paper_01.png')
|
pictureList.kif 653-653 | |
| s__subclass(s__Paper,s__Artifact)
|
Mid-level-ontology.kif 4098-4098 |
| appearance as argument number 2 |
|
|
| s__termFormat(s__EnglishLanguage,s__Paper,'paper')
|
domainEnglishFormat.kif 7800-7800 |
| antecedent |
|
|
| ( ! [V__X] : (s__instance(V__X,s__Paper) => (? [V__MAKE,V__CELL,V__PRESS] : (s__instance(V__MAKE,s__Making) & s__instance(V__CELL,s__Cellulose) & s__instance(V__PRESS,s__Compressing) & s__resource(V__MAKE,V__CELL) & s__result(V__MAKE,V__X) & s__subProcess(V__MAKE,V__PRESS) & s__patient(V__PRESS,V__CELL)))) )
|
Mid-level-ontology.kif 4100-4110 |
| consequent |
|
|
| ( ! [V__ORG] : ((s__instance(V__ORG,s__Organization) & s__attribute(V__ORG,s__PaperManufacturing)) => (? [V__EV,V__MEM] : (s__member(V__MEM,V__ORG) & s__agent(V__EV,V__MEM) & (? [V__THING,V__MEM2,V__EV2] : (s__instance(V__EV,s__Manufacture) & (s__instance(V__THING,s__Paper) | s__material(V__THING,s__Paper)) & s__patient(V__EV,V__THING) & s__member(V__MEM2,V__ORG) & s__instance(V__EV2,s__Selling) & s__agent(V__EV2,V__MEM2) & s__patient(V__EV2,V__THING)))))) )
|
naics.kif 2717-2735 | |
| ( ! [V__W,V__P] : ((s__instance(V__W,s__Wallpaper) & s__part(V__P,V__W)) => s__instance(V__P,s__Paper)) )
|
Mid-level-ontology.kif 3666-3670 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15862-15882 | |
| ( ! [V__BILL] : (s__instance(V__BILL,s__CurrencyBill) => (? [V__PAPER] : (s__instance(V__PAPER,s__Paper) & s__part(V__PAPER,V__BILL)))) )
|
Mid-level-ontology.kif 4124-4129 | |
| ( ! [V__C] : (s__instance(V__C,s__HolidayCard) => s__material(s__Paper,V__C)) )
|
Mid-level-ontology.kif 12575-12577 | |
| ( ! [V__C] : (s__instance(V__C,s__PlayingCard) => s__material(s__Paper,V__C)) )
|
Mid-level-ontology.kif 14713-14715 | |
| ( ! [V__TAPE] : (s__instance(V__TAPE,s__Tape) => (? [V__PART] : (s__part(V__PART,V__TAPE) & (s__instance(V__PART,s__Paper) | s__instance(V__PART,s__Fabric))))) )
|
Mid-level-ontology.kif 4704-4711 | |
| No TPTP formula. May not be expressible in strict first order. | Mid-level-ontology.kif 15852-15860 |
|
|
|