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

Formal Language: 



Term 1: Term 2:

(=>
    (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
(subclass IntentionalPsychologicalProcess IntentionalProcess) Merge.kif 10512-10512 意図的な心理的プロセス は 意図的なプロセス の subclass では %n
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10513-10513 意図的な心理的プロセス は 精神的プロセス の subclass では %n
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10835-10835 計画 は 意図的な心理的プロセス の subclass では %n
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 10858-10858 Interpreting は 意図的な心理的プロセス の subclass では %n
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 11939-11939 学習 は 意図的な心理的プロセス の subclass では %n
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11958-11958 Discovering は 意図的な心理的プロセス の subclass では %n
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11984-11984 分類 は 意図的な心理的プロセス の subclass では %n
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 11992-11992 推理 は 意図的な心理的プロセス の subclass では %n
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 12001-12001 選択 は 意図的な心理的プロセス の subclass では %n
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12108-12108 比較 は 意図的な心理的プロセス の subclass では %n
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12114-12114 計算 は 意図的な心理的プロセス の subclass では %n
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12144-12144 予測 は 意図的な心理的プロセス の subclass では %n
(subclass AppraisalProcess IntentionalPsychologicalProcess) emotion.kif 48-48 AppraisalProcess は 意図的な心理的プロセス の subclass では %n


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