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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - IntentionalPsychologicalProcess
IntentionalPsychologicalProcess(Processo Psicologico Intencional)

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 10549-10555
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 10546-10546 Processo Psicologico Intencional e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 10547-10547 Processo Psicologico Intencional e' uma sub-classe de Processo Psicologico

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


No TPTP formula. May not be expressible in strict first order. emotion.kif 48-48 AppraisalProcess e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12160-12160 Calcular e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12030-12030 Classificar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12154-12154 Comparar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12004-12004 Discovering e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 10892-10892 Interpreting e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 11985-11985 Aprender e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 10869-10869 Planejar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12190-12190 Prever e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12038-12038 Raciocinar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12047-12047 Selecionar e' uma sub-classe de Processo Psicologico Intencional
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