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 10534-10534 有意图的心理过程 是 有意图过程 的 subclass
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10535-10535 有意图的心理过程 是 心理过程 的 subclass
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10857-10857 规划 是 有意图的心理过程 的 subclass
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 10880-10880 解读 是 有意图的心理过程 的 subclass
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 11961-11961 学习 是 有意图的心理过程 的 subclass
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11980-11980 发现 是 有意图的心理过程 的 subclass
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 12006-12006 分类 是 有意图的心理过程 的 subclass
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 12014-12014 推理 是 有意图的心理过程 的 subclass
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 12023-12023 选择 是 有意图的心理过程 的 subclass
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12130-12130 比较 是 有意图的心理过程 的 subclass
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12136-12136 计算 是 有意图的心理过程 的 subclass
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12166-12166 预测 是 有意图的心理过程 的 subclass
(subclass AppraisalProcess IntentionalPsychologicalProcess) emotion.kif 48-48 AppraisalProcess 是 有意图的心理过程 的 subclass


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