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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Interpreting
Interpreting(解读)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2979-2980
No TPTP formula. May not be expressible in strict first order. Merge.kif 10860-10861
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1739-1740
No TPTP formula. May not be expressible in strict first order. pictureList.kif 6639-6639
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7118-7118
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7119-7119
No TPTP formula. May not be expressible in strict first order. pictureList.kif 7120-7120
No TPTP formula. May not be expressible in strict first order. Merge.kif 10858-10858 解读有意图的心理过程subclass

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 12683-12683 朗读解读 是 内部相关
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30739-30739
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30738-30738
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30737-30737

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 10863-10870

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


No TPTP formula. May not be expressible in strict first order. Dining.kif 244-253

statement
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18202-18219 有存在 ?X, ?CUT,, , ?PAPER,, , ?CBO, and 和 ?INFO 这样 ?X 是 PaperShredderinstance 和 ?CUT 是 切开instance 和 ?X 是导致 ?CUT 的 instrument 和 ?PAPER 是 instance 和 ?PAPER 是 ?CUT 的 patient 和 ?CBO 是 located 在 ?PAPER 和 ?CBO 是 VisualContentBearingObjectinstance 和 ?CBO contains ?INFO 的资料 减少 有存在 ?READ 这样 ?READ 是 解读instance 和 ?INFO 是 ?READ 的 patient 和 ?CUT 出现 的 time 比?READ 出现 的 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