Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. Medicine.kif 3984-4004
No TPTP formula. May not be expressible in strict first order. Merge.kif 10534-10534 Processo Psicologico Intencional e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 10535-10535 Processo Psicologico Intencional e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 10857-10857 Planejar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 10880-10880 Interpreting e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 11961-11961 Aprender e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 11980-11980 Discovering e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12006-12006 Classificar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12014-12014 Raciocinar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12023-12023 Selecionar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12130-12130 Comparar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12136-12136 Calcular e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12166-12166 Prever e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. emotion.kif 48-48 AppraisalProcess e' uma sub-classe de Processo Psicologico Intencional


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