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

Formal Language: 



Term 1: Term 2:

(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10423-10423
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10424-10424
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10727-10727
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 10750-10750
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 11776-11776
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11795-11795
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11821-11821
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 11829-11829
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 11838-11838
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 11884-11884
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 11890-11890
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 11920-11920
(subclass AppraisalProcess IntentionalPsychologicalProcess) emotion.kif 48-48


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