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

Formal Language: 

KB Term:  Term intersection
English Word: 


Sigma KEE - 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 3549-3559
(externalImage Paper " supplies/ supplies_2/ paper_01.png") pictureList.kif 653-653
(subclass Paper Artifact) Mid-level-ontology.kif 3560-3560 人工制品subclass

appearance as argument number 2

(termFormat ChineseLanguage Paper "纸") domainEnglishFormat.kif 44286-44286
(termFormat ChineseTraditionalLanguage Paper "紙") domainEnglishFormat.kif 44285-44285
(termFormat EnglishLanguage Paper "paper") domainEnglishFormat.kif 44284-44284


    (instance ?PAPER Paper)
        (hasPurpose ?PAPER
            (exists (?TEXT)
                    (instance ?TEXT Text)
                    (part ?TEXT ?PAPER)))) Likely))
Mid-level-ontology.kif 3574-3582
    (instance ?X Paper)
    (exists (?MAKE ?CELL ?PRESS)
            (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 3562-3572


        (instance ?ORG Organization)
        (attribute ?ORG PaperManufacturing))
    (exists (?MEM ?EV ?THING)
            (instance ?MEM Industry)
            (member ?MEM ?ORG)
            (instance ?EV Manufacture)
            (agent ?EV ?MEM)
            (patient ?EV ?THING)
            (material Paper ?THING))))
naics.kif 2717-2728
        (instance ?W Wallpaper)
        (part ?P ?W))
    (instance ?P Paper))
Mid-level-ontology.kif 3125-3129
    (instance ?BILL CurrencyBill)
    (exists (?PAPER)
            (instance ?PAPER Paper)
            (part ?PAPER ?BILL))))
Mid-level-ontology.kif 3589-3594
    (instance ?C HolidayCard)
    (material Paper ?C))
Mid-level-ontology.kif 14871-14873
    (instance ?C PlayingCard)
    (material Paper ?C))
Mid-level-ontology.kif 17129-17131
    (instance ?TAPE Tape)
    (exists (?PART)
            (part ?PART ?TAPE)
                (instance ?PART Paper)
                (instance ?PART Fabric)))))
Mid-level-ontology.kif 4230-4237
    (instance ?X PaperShredder)
    (hasPurpose ?X
        (exists (?CUT ?PAPER)
                (instance ?CUT Cutting)
                (instrument ?CUT ?X)
                (instance ?PAPER Paper)
                (patient ?CUT ?PAPER)))))
Mid-level-ontology.kif 18190-18198


    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
            (instance ?X PaperShredder)
            (instance ?CUT Cutting)
            (instrument ?CUT ?X)
            (instance ?PAPER Paper)
            (patient ?CUT ?PAPER)
            (located ?CBO ?PAPER)
            (instance ?CBO VisualContentBearingObject)
            (containsInformation ?CBO ?INFO)))
    (exists (?READ)
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
                (WhenFn ?CUT)
                (WhenFn ?READ)))))
Mid-level-ontology.kif 18202-18219 有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是 PaperShredderinstance 和 ?CUT 是 切开instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObjectinstance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 time发生的earlier 发生的机率

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