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 IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10535-10535
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10857-10857
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 10880-10880
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 11961-11961
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11980-11980
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 12006-12006
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 12014-12014
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 12023-12023
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12130-12130
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12136-12136
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12166-12166
(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