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 10759-10760
(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 7119-7119
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 3/ 39/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286757%29.jpg")	pictureList.kif 7120-7120
(externalImage Interpreting "http://upload.wikimedia.org/wikipedia/commons/ 6/ 6c/ Garry_Kasparov_-_Klaus_Bednarz_at_lit_Cologne_2007_-_%286784%29.jpg")	pictureList.kif 7121-7121
(subclass Interpreting IntentionalPsychologicalProcess)	Merge.kif 10757-10757	解读是有意图的心理过程的 subclass

appearance as argument number 2

(relatedInternalConcept Reading Interpreting)	Merge.kif 12460-12460	朗读和解读是内部相关
(termFormat ChineseLanguage Interpreting "解读")	domainEnglishFormat.kif 30726-30726
(termFormat ChineseTraditionalLanguage Interpreting "解讀")	domainEnglishFormat.kif 30725-30725
(termFormat EnglishLanguage Interpreting "interpreting")	domainEnglishFormat.kif 30724-30724

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 10762-10769

如果过程是解读的 instance 和施事体是那个过程的 agent 和实体是那个过程的 patient 和那个实体是有内用物体的 instance，
然后有存在另一个实体这样那个施事体 believes 那个实体 contains 那个另外实体的资料在那个过程出现的 time 的结束 holdsDuring

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 和 Braille 是那个客体的 attribute，然后有存在另一个客体这样那个另外客体是人类的 instance 和盲是那个另外客体的 attribute 和那个另外客体能够担当主事的角色做解读和那个客体能够担当受事的角色做解读
(=> (and (instance ?X PaperShredder) (instance ?CUT Cutting) (instrument ?CUT ?X)) (hasPurpose ?CUT (exists (?CBO ?PAPER ?INFO ?READ) (and (instance ?CBO VisualContentBearingObject) (containsInformation ?CBO ?INFO) (instance ?PAPER Paper) (located ?CBO ?PAPER) (decreasesLikelihood (patient ?CUT ?PAPER) (and (instance ?READ Interpreting) (patient ?READ ?INFO) (earlier (WhenFn ?CUT) (WhenFn ?READ))))))))	Mid-level-ontology.kif 17666-17685	如果客体是 PaperShredder 的 instance 和过程是切开的 instance 和那个客体是导致那个过程的 instrument，然后那个过程的目的是有存在实体，另一个实体,，，第三实体， and 和第四实体这样那个实体是 VisualContentBearingObject 的 instance 和那个实体 contains 那个第三实体的资料和那个另外实体是纸的 instance 和那个实体是 located 在那个另外实体和那个另外实体是那个过程的 patient 减少那个第四实体是解读的 instance 和那个第三实体是那个第四实体的 patient 和那个过程出现的 time 比那个第四实体出现的 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

KB Term:			Term intersection

English Word: