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 IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10513-10513
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10835-10835
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 10858-10858
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 11939-11939
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11958-11958
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11984-11984
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 11992-11992
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 12001-12001
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12108-12108
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12114-12114
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12144-12144
(subclass AppraisalProcess IntentionalPsychologicalProcess) emotion.kif 48-48


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