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
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10513-10513 有意图的心理过程 是 心理过程 的 subclass
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10835-10835 规划 是 有意图的心理过程 的 subclass
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 10858-10858 解读 是 有意图的心理过程 的 subclass
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 11939-11939 学习 是 有意图的心理过程 的 subclass
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11958-11958 发现 是 有意图的心理过程 的 subclass
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11984-11984 分类 是 有意图的心理过程 的 subclass
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 11992-11992 推理 是 有意图的心理过程 的 subclass
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 12001-12001 选择 是 有意图的心理过程 的 subclass
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12108-12108 比较 是 有意图的心理过程 的 subclass
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12114-12114 计算 是 有意图的心理过程 的 subclass
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12144-12144 预测 是 有意图的心理过程 的 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