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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - PaperShredder

appearance as argument number 1

(documentation PaperShredder EnglishLanguage "A CuttingDevice used to cut Paper into small pieces so that the contained information can not be decoded again.") Mid-level-ontology.kif 18187-18188
(subclass PaperShredder CuttingDevice) Mid-level-ontology.kif 18186-18186 PaperShredder切割装置subclass

appearance as argument number 2

(termFormat EnglishLanguage PaperShredder "paper shredder") domainEnglishFormat.kif 65290-65290


    (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 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 3.0 is open source software produced by Articulate Software and its partners