Sigma KB Term Intersection

(=> (and (attribute ?H1 ADHD) (not (attribute ?H2 ADHD)) (not (equal ?H1 ?H2)) (instance ?I1 ?IC) (instance ?I2 ?IC) (subclass ?IC IntentionalPsychologicalProcess) (agent ?I1 ?H1) (agent ?I2 ?H2) (duration (WhenFn ?I1) ?D1) (duration (WhenFn ?I2) ?D2)) (modalAttribute (greaterThan ?D2 ?D1) Likely))	Medicine.kif 3984-4004	attribute AutonomousAgent and ADHD attribute AutonomousAgent and ADHD AutonomousAgent is uguale a AutonomousAgent Processo è un' istanza di Classe Processo è un' istanza di Classe Classe è una sottoclasse di ProcessoPsicologicoIntenzionale Processo è un agente di AutonomousAgent Processo è un agente di AutonomousAgent durata di il tempo di esistenza di Processo è Durata durata di il tempo di esistenza di Processo è Durata l'affermazione Durata è più grande di Durata ha il modello di forza di Likely
(subclass IntentionalPsychologicalProcess IntentionalProcess)	Merge.kif 10534-10534	ProcessoPsicologicoIntenzionale è una sottoclasse di ProcessoIntenzionale
(subclass IntentionalPsychologicalProcess PsychologicalProcess)	Merge.kif 10535-10535	ProcessoPsicologicoIntenzionale è una sottoclasse di ProcessoPsicologico
(subclass Planning IntentionalPsychologicalProcess)	Merge.kif 10857-10857	Pianificazione è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Interpreting IntentionalPsychologicalProcess)	Merge.kif 10880-10880	Interpreting è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Learning IntentionalPsychologicalProcess)	Merge.kif 11961-11961	Apprendere è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Discovering IntentionalPsychologicalProcess)	Merge.kif 11980-11980	Discovering è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Classifying IntentionalPsychologicalProcess)	Merge.kif 12006-12006	Classificare è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Reasoning IntentionalPsychologicalProcess)	Merge.kif 12014-12014	Ragionare è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Selecting IntentionalPsychologicalProcess)	Merge.kif 12023-12023	Scegliere è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Comparing IntentionalPsychologicalProcess)	Merge.kif 12130-12130	Paragonare è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Calculating IntentionalPsychologicalProcess)	Merge.kif 12136-12136	Calcolare è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass Predicting IntentionalPsychologicalProcess)	Merge.kif 12166-12166	Prevedere è una sottoclasse di ProcessoPsicologicoIntenzionale
(subclass AppraisalProcess IntentionalPsychologicalProcess)	emotion.kif 48-48	AppraisalProcess è una sottoclasse di ProcessoPsicologicoIntenzionale

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