TreeView Knowledge Base Browser - IntentionalPsychologicalProcess

appearance as argument number 1

(documentation IntentionalPsychologicalProcess ChineseLanguage "IntentionalProcess 是一个可以完全在 Organism 的精神或大脑内实现的过程。所以举例说 Reasoning 是 IntentionalPsychologicalProcess 的子类别意味人可以只用思想/ 大脑做出理性思维，另一方面 RecreationOrExercise 不是 IntentionalPsychologicalProcess 的子类别，因为很多 RecreationOrExercise 的实例都必须牵涉到 BodyMotion 的 subProcess。")	chinese_format.kif 2932-2936
(documentation IntentionalPsychologicalProcess EnglishLanguage "An IntentionalProcess is a process that can be realized entirely within the mind or brain of an Organism. Thus,for example, Reasoning is a subclass of IntentionalPsychologicalProcess, because one can reason simply by exercising one's mind/ brain. On the other hand, RecreationOrExercise is not a subclass of IntentionalPsychologicalProcess, because many instances of RecreationOrExercise necessarily have subProcesses of BodyMotion.")	Merge.kif 10549-10555
(documentation IntentionalPsychologicalProcess JapaneseLanguage "IntentionalProcess は、 Organism の心または脳内で完全に実現できるプロセスである。したがって、例えば、Reasoning は IntentionalPsychologicalProcess のサブクラスである。なぜなら、単純に心/ 脳を行使するだけで推論できるからである。一方、RecreationOrExercise のインスタンスの多くは必ずしも BodyMotion の subProcesses を持つため、RecreationOrExercise は IntentionalPsychologicalProcess のサブクラスではない。")	japanese_format.kif 1683-1688
(subclass IntentionalPsychologicalProcess IntentionalProcess)	Merge.kif 10546-10546
(subclass IntentionalPsychologicalProcess PsychologicalProcess)	Merge.kif 10547-10547

appearance as argument number 2

(subclass AppraisalProcess IntentionalPsychologicalProcess)	emotion.kif 48-48
(subclass Calculating IntentionalPsychologicalProcess)	Merge.kif 12160-12160
(subclass Classifying IntentionalPsychologicalProcess)	Merge.kif 12030-12030
(subclass Comparing IntentionalPsychologicalProcess)	Merge.kif 12154-12154
(subclass Discovering IntentionalPsychologicalProcess)	Merge.kif 12004-12004
(subclass Interpreting IntentionalPsychologicalProcess)	Merge.kif 10892-10892
(subclass Learning IntentionalPsychologicalProcess)	Merge.kif 11985-11985
(subclass Planning IntentionalPsychologicalProcess)	Merge.kif 10869-10869
(subclass Predicting IntentionalPsychologicalProcess)	Merge.kif 12190-12190
(subclass Reasoning IntentionalPsychologicalProcess)	Merge.kif 12038-12038
(subclass Selecting IntentionalPsychologicalProcess)	Merge.kif 12047-12047
(termFormat ChineseLanguage IntentionalPsychologicalProcess "有意图的心理过程")	chinese_format.kif 1092-1092
(termFormat EnglishLanguage IntentionalPsychologicalProcess "intentional psychological process")	english_format.kif 1395-1395
(termFormat FrenchLanguage IntentionalPsychologicalProcess "processus psycholoqique intentionnel")	french_format.kif 770-770
(termFormat Hindi IntentionalPsychologicalProcess "sabhipraaya manovaigyaanika prakriyaa")	terms-hindi.txt 302-302
(termFormat ItalianLanguage IntentionalPsychologicalProcess "ProcessoPsicologicoIntenzionale")	terms-it.txt 305-305
(termFormat JapaneseLanguage IntentionalPsychologicalProcess "意図的な心理的プロセス")	japanese_format.kif 2454-2454
(termFormat PortugueseLanguage IntentionalPsychologicalProcess "Processo Psicologico Intencional")	portuguese_format.kif 722-722
(termFormat cz IntentionalPsychologicalProcess "intentional psychological process")	terms-cz.txt 341-341
(termFormat ro IntentionalPsychologicalProcess "proces psihologic de intenþie")	relations-ro.kif 791-791
(termFormat tg IntentionalPsychologicalProcess "paraan ng sadyang sikolohiya")	terms-tg.txt 306-306

antecedent

(=>
    (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

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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

KB Term:			Term intersection

English Word: