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 10146-10147
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 0/ 0a/ IraqiInterpreter.jpg")	pictureList.kif 6640-6640
(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 "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 "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286784%29.jpg")	pictureList.kif 7122-7122
(subclass Interpreting IntentionalPsychologicalProcess)	Merge.kif 10144-10144	subclass Interpreting and IntentionalPsychologicalProcess

appearance as argument number 2

(relatedInternalConcept Reading Interpreting)	Merge.kif 11756-11756	relatedInternalConcept Reading and Interpreting
(termFormat ChineseLanguage Interpreting "解读")	domainEnglishFormat.kif 30658-30658
(termFormat ChineseTraditionalLanguage Interpreting "解讀")	domainEnglishFormat.kif 30657-30657
(termFormat EnglishLanguage Interpreting "interpreting")	domainEnglishFormat.kif 30656-30656

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 10149-10156

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

KB Term:			Term intersection

English Word: