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 10512-10512 Processo Psicologico Intencional e' uma sub-classe de Processo Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 10513-10513 Processo Psicologico Intencional e' uma sub-classe de Processo Psicologico
No TPTP formula. May not be expressible in strict first order. Merge.kif 10835-10835 Planejar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 10858-10858 Interpreting e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 11939-11939 Aprender e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 11958-11958 Discovering e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 11984-11984 Classificar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 11992-11992 Raciocinar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12001-12001 Selecionar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12108-12108 Comparar e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12114-12114 Calcular e' uma sub-classe de Processo Psicologico Intencional
No TPTP formula. May not be expressible in strict first order. Merge.kif 12144-12144 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