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

Formal Language: 



KB Term:  Term intersection
English Word: 

  PaperShredder

Sigma KEE - PaperShredder
PaperShredder(paper shredder)shredder

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 Paper shredder is a subclass of cutting device

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


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

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


(=>
    (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

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 There exist ?X, ?CUT,, , ?PAPER,, , ?CBO and ?INFO such that ?X is an instance of paper shredder and ?CUT is an instance of cutting and ?X is an instrument for ?CUT and ?PAPER is an instance of paper and ?PAPER is a patient of ?CUT and ?CBO is located at ?PAPER and ?CBO is an instance of visual content bearing object and ?CBO contains information ?INFO decreases likelihood of there exists ?READ such that ?READ is an instance of interpreting and ?INFO is a patient of ?READ and the time of existence of ?CUT happens earlier than the time of existence of ?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