Interpreting - Sigma Knowledge base Browser

appearance as argument number 1

(documentation Interpreting ChineseLanguage "这是给一篇 Text编配 Proposition 的任何 Process，即是去理解这篇 Text。")	chinese_format.kif 2979-2980
(documentation Interpreting EnglishLanguage "Any Process of assigning a Proposition to a Text, i.e. understanding the Text.")	Merge.kif 10022-10023
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ IraqiInterpreter.jpg")	pictureList.kif 6640-6640	externalImage Interpreting and "http://upload.wikimedia.org/wikipedia/commons/0/0a/ IraqiInterpreter.jpg"
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 3/ 38/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286748%29.jpg")	pictureList.kif 7120-7120	externalImage Interpreting and "http://upload.wikimedia.org/wikipedia/commons/3/38/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286748%29.jpg"
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286757%29.jpg")	pictureList.kif 7121-7121	externalImage Interpreting and "http://upload.wikimedia.org/wikipedia/commons/3/39/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286757%29.jpg"
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286784%29.jpg")	pictureList.kif 7122-7122	externalImage Interpreting and "http://upload.wikimedia.org/wikipedia/commons/6/6c/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286784%29.jpg"
(subclass Interpreting IntentionalPsychologicalProcess)	Merge.kif 10020-10020	subclass Interpreting and IntentionalPsychologicalProcess

appearance as argument number 2

(relatedInternalConcept Reading Interpreting)	Merge.kif 11635-11635	relatedInternalConcept Reading and Interpreting
(termFormat ChineseLanguage Interpreting "解读")	domainEnglishFormat.kif 30643-30643	termFormat ChineseLanguage, Interpreting and "解读"
(termFormat ChineseTraditionalLanguage Interpreting "解讀")	domainEnglishFormat.kif 30642-30642	termFormat ChineseTraditionalLanguage, Interpreting and "解讀"
(termFormat EnglishLanguage Interpreting "interpreting")	domainEnglishFormat.kif 30641-30641	termFormat EnglishLanguage, Interpreting and "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 10025-10032

instance Process and Interpreting agent Process and Agent patient Process and Entity instance Entity and ContentBearingObject
entity holdsDuring EndFn WhenFn Process and believes Agent and containsInformation Entity and entity

consequent

(=> (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 240-249	instance Object and ContentBearingObject attribute Object and Braille Object instance Object and Human attribute Object and Blind capability Interpreting, agent and Object capability Interpreting, patient and Object
(=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X)) (hasPurpose ?CUT (=> (and (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instance ?PAPER Paper) (located ?CBO ?PAPER)) (decreasesLikelihood (patient ?CUT ?PAPER) (exists (?READ) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))))))	Mid-level-ontology.kif 15892-15912	instance Object and PaperShredder instance Process and Cutting instrument Process and Object hasPurpose Process and instance entity and VisualContentBearingObject containsInformation entity and entity instance entity and Paper located entity and entity decreasesLikelihood patient Process and entity and entity instance entity and Interpreting patient entity and entity earlier WhenFn Process and WhenFn entity

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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners

KB Term:			Term intersection

English Word: