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 Processus psycholoqique intentionnel est une sous-classe de processus intentionnel
(subclass IntentionalPsychologicalProcess PsychologicalProcess) Merge.kif 10513-10513 Processus psycholoqique intentionnel est une sous-classe de processus psychologique
(subclass Planning IntentionalPsychologicalProcess) Merge.kif 10835-10835 Planifier est une sous-classe de processus psycholoqique intentionnel
(subclass Interpreting IntentionalPsychologicalProcess) Merge.kif 10858-10858 Interpreting est une sous-classe de processus psycholoqique intentionnel
(subclass Learning IntentionalPsychologicalProcess) Merge.kif 11939-11939 Apprendre est une sous-classe de processus psycholoqique intentionnel
(subclass Discovering IntentionalPsychologicalProcess) Merge.kif 11958-11958 Discovering est une sous-classe de processus psycholoqique intentionnel
(subclass Classifying IntentionalPsychologicalProcess) Merge.kif 11984-11984 Classifier est une sous-classe de processus psycholoqique intentionnel
(subclass Reasoning IntentionalPsychologicalProcess) Merge.kif 11992-11992 Raisonner est une sous-classe de processus psycholoqique intentionnel
(subclass Selecting IntentionalPsychologicalProcess) Merge.kif 12001-12001 Selectionner est une sous-classe de processus psycholoqique intentionnel
(subclass Comparing IntentionalPsychologicalProcess) Merge.kif 12108-12108 Comparer est une sous-classe de processus psycholoqique intentionnel
(subclass Calculating IntentionalPsychologicalProcess) Merge.kif 12114-12114 Calculer est une sous-classe de processus psycholoqique intentionnel
(subclass Predicting IntentionalPsychologicalProcess) Merge.kif 12144-12144 Predire est une sous-classe de processus psycholoqique intentionnel
(subclass AppraisalProcess IntentionalPsychologicalProcess) emotion.kif 48-48 AppraisalProcess est une sous-classe de processus psycholoqique intentionnel


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