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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Paper

Sigma KEE - Paper
Paper

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 3501-3511
(externalImage Paper "http://www.adampease.org/Articulate/SUMOpictures/pictures/ education/ supplies/ supplies_2/ paper_01.png") pictureList.kif 653-653
(subclass Paper Artifact) Mid-level-ontology.kif 3512-3512

appearance as argument number 2
-------------------------


(termFormat ChineseLanguage Paper "纸") domainEnglishFormat.kif 44263-44263
(termFormat ChineseTraditionalLanguage Paper "紙") domainEnglishFormat.kif 44262-44262
(termFormat EnglishLanguage Paper "paper") domainEnglishFormat.kif 44261-44261

antecedent
-------------------------


(=>
    (instance ?PAPER Paper)
    (modalAttribute
        (hasPurpose ?PAPER
            (exists (?TEXT)
                (and
                    (instance ?TEXT Text)
                    (part ?TEXT ?PAPER)))) Likely))
Mid-level-ontology.kif 3526-3534
(=>
    (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 3514-3524

consequent
-------------------------


(=>
    (and
        (instance ?ORG Organization)
        (attribute ?ORG PaperManufacturing))
    (exists (?MEM ?EV ?THING)
        (and
            (instance ?MEM Industry)
            (member ?MEM ?ORG)
            (instance ?EV Manufacture)
            (agent ?EV ?MEM)
            (patient ?EV ?THING)
            (material ?THING Paper))))
naics.kif 2717-2728
(=>
    (and
        (instance ?W Wallpaper)
        (part ?P ?W))
    (instance ?P Paper))
Mid-level-ontology.kif 3076-3080
(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instrument ?CUT ?X))
    (hasPurpose ?CUT
        (=>
            (and
                (instance ?CBO VisualContentBearingObject)
                (containsInformation ?CBO ?INFO)
                (instance ?PAPER Paper)
                (located ?CBO ?PAPER))
            (decreasesLikelihood
                (patient ?CUT ?PAPER)
                (exists (?READ)
                    (and
                        (instance ?READ Interpreting)
                        (patient ?READ ?INFO)
                        (earlier
                            (WhenFn ?CUT)
                            (WhenFn ?READ))))))))
Mid-level-ontology.kif 17605-17625
(=>
    (instance ?BILL CurrencyBill)
    (exists (?PAPER)
        (and
            (instance ?PAPER Paper)
            (part ?PAPER ?BILL))))
Mid-level-ontology.kif 3541-3546
(=>
    (instance ?C HolidayCard)
    (material Paper ?C))
Mid-level-ontology.kif 14335-14337
(=>
    (instance ?C PlayingCard)
    (material Paper ?C))
Mid-level-ontology.kif 16568-16570
(=>
    (instance ?TAPE Tape)
    (exists (?PART)
        (and
            (part ?PART ?TAPE)
            (or
                (instance ?PART Paper)
                (instance ?PART Fabric)))))
Mid-level-ontology.kif 4121-4128
(=>
    (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 17595-17603


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

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners