TreeView Knowledge Base Browser

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 "http://articulatesoftware.com/SUMOpictures/education/ supplies/ supplies_2/ paper_01.png")	pictureList.kif 653-653
(subclass Paper Artifact)	Mid-level-ontology.kif 3560-3560	子類紙 and Artifact

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

antecedent

(=> (instance ?PAPER Paper) (modalAttribute (hasPurpose ?PAPER (exists (?TEXT) (and (instance ?TEXT Text) (part ?TEXT ?PAPER)))) Likely))	Mid-level-ontology.kif 3574-3582	例 Entity and 紙模態屬性有目的 Entity and entity 例 entity and Text 部分 entity and Entity and 容易
(=> (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 3562-3572	例 Entity and 紙 Process Object and Process 例 Process and Making 例 Object and 纖維素例 Process and Compressing 資源 Process and Object 結果 Process and Entity 子過程 Process and Process 患者 Process and Object

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 Paper ?THING))))	naics.kif 2717-2728	例 Collection and Organization attribute Collection and 造紙業 AutonomousAgent Process and CorpuscularObject 例 AutonomousAgent and 行業會員 AutonomousAgent and Collection 例 Process and Manufacture agent Process and AutonomousAgent 患者 Process and CorpuscularObject 材料紙 and CorpuscularObject
(=> (and (instance ?W Wallpaper) (part ?P ?W)) (instance ?P Paper))	Mid-level-ontology.kif 3125-3129	例 Object and 牆紙部分 Object and Object 例 Object and 紙
(=> (instance ?BILL CurrencyBill) (exists (?PAPER) (and (instance ?PAPER Paper) (part ?PAPER ?BILL))))	Mid-level-ontology.kif 3589-3594	例 Object and 貨幣單 Object 例 Object and 紙部分 Object and Object
(=> (instance ?C HolidayCard) (material Paper ?C))	Mid-level-ontology.kif 14871-14873	例 CorpuscularObject and 節日賀卡材料紙 and CorpuscularObject
(=> (instance ?C PlayingCard) (material Paper ?C))	Mid-level-ontology.kif 17129-17131	例 CorpuscularObject and 紙牌材料紙 and CorpuscularObject
(=> (instance ?TAPE Tape) (exists (?PART) (and (part ?PART ?TAPE) (or (instance ?PART Paper) (instance ?PART Fabric)))))	Mid-level-ontology.kif 4230-4237	例 Object and 膠帶 Object 部分 Object and Object 例 Object and 紙例 Object and Fabric
(=> (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 18190-18198	例 Physical and PaperShredder 有目的 Physical and entity entity 例 entity and Cutting 儀器 entity and Physical 例 entity and 紙患者 entity and entity

statement

(decreasesLikelihood
    (exists (?X ?CUT ?PAPER ?CBO ?INFO)
        (and
            (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)
        (and
            (instance ?READ Interpreting)
            (patient ?READ ?INFO)
            (earlier
                (WhenFn ?CUT)
                (WhenFn ?READ)))))

Mid-level-ontology.kif 18202-18219

降低可能性 ?X ?CUT, ?PAPER, ?CBO and ?INFO 例 ?X and PaperShredder 例 ?CUT and Cutting 儀器 ?CUT and ?X 例 ?PAPER and 紙患者 ?CUT and ?PAPER 位於 ?CBO and ?PAPER 例 ?CBO and VisualContentBearingObject 包含信息 ?CBO and ?INFO and ?READ 例 ?READ and 解讀患者 ?READ and ?INFO 早期何時 ?CUT and 何時 ?READ

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

KB Term:			Term intersection

English Word: