Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Paper
Paper
Post-It, chad, dimple, dimpled_chad, greaseproof_paper, hanging_chad, manifold, manifold_paper, paper, paper_tape, piece_of_paper, pregnant_chad, sheet, sheet_of_paper, style_sheet, swinging_chad, tissue, tissue_paper, tri-chad, waste_paper, wrapping_paper, writing_paper

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


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners