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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalPsychologicalProcess
IntentionalPsychologicalProcess(有意图的心理过程)

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 2932-2936
No TPTP formula. May not be expressible in strict first order. Merge.kif 10515-10521
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 1683-1688
No TPTP formula. May not be expressible in strict first order. Merge.kif 10512-10512 有意图的心理过程 是 有意图过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10513-10513 有意图的心理过程 是 心理过程 的 subclass

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 48-48 AppraisalProcess 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12114-12114 计算 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11984-11984 分类 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12108-12108 比较 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11958-11958 发现 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10858-10858 解读 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11939-11939 学习 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10835-10835 规划 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12144-12144 预测 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11992-11992 推理 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12001-12001 选择 是 有意图的心理过程 的 subclass
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1092-1092
No TPTP formula. May not be expressible in strict first order. english_format.kif 1395-1395
No TPTP formula. May not be expressible in strict first order. french_format.kif 770-770
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 302-302
No TPTP formula. May not be expressible in strict first order. terms-it.txt 305-305
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2454-2454
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 722-722
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 341-341
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 791-791
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 306-306

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


No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004


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