Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - Interpreting
Interpreting(interpreting)
appreciate, apprehend, apprehension, bottom, catch_on, cognise, cognize, compass, comprehend, comprehension, construe, cotton_on, dig, discernment, discover, eisegesis, elucidation, explication, fathom, get_it, get_onto, get_the_picture, get_wise, grasp, grok, interpret, know, latch_on, moralise, moralize, mythicise, mythicize, penetrate, read, reading, realisation, realise, realization, realize, recognition, rede, savvy, see, sense, spin, take, take_account, translate, tumble, twig...

appearance as argument number 1
-------------------------


(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 11105-11105 Interpreting is a subclass of intentional psychological process
(documentation Interpreting EnglishLanguage "Any Process of assigning a Proposition to a Text, i.e. understanding the Text.") Merge.kif 11107-11108 Interpreting is a subclass of intentional psychological process
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ IraqiInterpreter.jpg") pictureList.kif 6638-6638 Interpreting is a subclass of intentional psychological process
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286748%29.jpg") pictureList.kif 7117-7117 Interpreting is a subclass of intentional psychological process
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286757%29.jpg") pictureList.kif 7118-7118 Interpreting is a subclass of intentional psychological process
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286784%29.jpg") pictureList.kif 7119-7119 Interpreting is a subclass of intentional psychological process

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


(relatedInternalConcept Reading Interpreting) Merge.kif 12973-12973 Reading is internally related to interpreting
(termFormat EnglishLanguage Interpreting "interpreting") domainEnglishFormat.kif 30741-30741 Reading is internally related to interpreting
(termFormat ChineseTraditionalLanguage Interpreting "解讀") domainEnglishFormat.kif 30742-30742 Reading is internally related to interpreting
(termFormat ChineseLanguage Interpreting "解读") domainEnglishFormat.kif 30743-30743 Reading is internally related to interpreting

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


(=>
    (and
        (instance ?INTERPRET Interpreting)
        (agent ?INTERPRET ?AGENT)
        (patient ?INTERPRET ?CONTENT)
        (instance ?CONTENT ContentBearingObject))
    (exists (?PROP)
        (holdsDuring
            (EndFn
                (WhenFn ?INTERPRET))
            (believes ?AGENT
                (containsInformation ?CONTENT ?PROP)))))		 Merge.kif 11110-11122 If X is an instance of interpreting, Y is an agent of X, Z is a patient of X, and Z is an instance of content bearing object, then there exists W such that Y believes Z contains information W holds during the end of the time of existence of X

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


(=>
    (and
        (instance ?X PaperShredder)
        (instance ?CUT Cutting)
        (instance ?CBO VisualContentBearingObject)
        (containsInformation ?CBO ?INFO)
        (instrument ?CUT ?X)
        (instance ?PAPER Paper)
        (patient ?CUT ?PAPER)
        (located ?CBO ?PAPER))
    (modalAttribute
        (exists (?READ)
            (and
                (instance ?READ Interpreting)
                (patient ?READ ?INFO)
                (earlier
                    (WhenFn ?CUT)
                    (WhenFn ?READ)))) Unlikely))		 Mid-level-ontology.kif 20134-20151 If All of the following hold: (1) X is an instance of paper shredder (2) Y is an instance of cutting (3) Z is an instance of visual content bearing object (4) Z contains information W (5) X is an instrument for Y (6) V is an instance of paper (7) V is a patient of Y (8) Z is located at V, then the statement there exists U such that U is an instance of interpreting, W is a patient of U, and the time of existence of Y happens earlier than the time of existence of U has the modal force of unlikely
(=>
    (and
        (instance ?X ContentBearingObject)
        (attribute ?X Braille))
    (exists (?H)
        (and
            (instance ?H Human)
            (attribute ?H Blind)
            (capability Interpreting agent ?H)
            (capability Interpreting patient ?X))))		 Dining.kif 244-253 If X is an instance of content bearing object and braille is an attribute of X, then there exists Y such that Y is an instance of human, blindness is an attribute of Y, Y is capable of doing interpreting as a agent, and X is capable of doing interpreting as a patient


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners