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

Formal Language: 



KB Term:  Term intersection
English Word: 

  IntentionalPsychologicalProcess

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 10537-10543
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 10534-10534 有意图的心理过程有意图过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10535-10535 有意图的心理过程心理过程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 12136-12136 计算有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12006-12006 分类有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12130-12130 比较有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11980-11980 发现有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10880-10880 解读有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 11961-11961 学习有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 10857-10857 规划有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12166-12166 预测有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12014 推理有意图的心理过程subclass
No TPTP formula. May not be expressible in strict first order. Merge.kif 12023-12023 选择有意图的心理过程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 simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


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