Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(=>
    (attribute ?H ObsessiveCompulsiveDisorder)
    (exists (?COL ?C)
        (and
            (memberType ?COL ?C)
            (or
                (subclass ?C Investigating)
                (subclass ?C Cleaning))
            (=>
                (instance ?CI ?C)
                (and
                    (agent ?CI ?H)
                    (not
                        (wants ?H ?CI)))))))		 Medicine.kif 4025-4038
(subclass Investigating IntentionalProcess) Merge.kif 12923-12923 Enqu�ter est une sous-classe de processus intentionnel
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 720-720 ResearchingWeaponOfMassDestruction est une sous-classe de enqu�ter
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 ReconnaissanceOperation est une sous-classe de enqu�ter
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1891-1891 OffensiveInformationOperation est une sous-classe de enqu�ter
(subclass Espionage Investigating) Mid-level-ontology.kif 13932-13932 Espionage est une sous-classe de enqu�ter
(subclass Polling Investigating) Mid-level-ontology.kif 13948-13948 Polling est une sous-classe de enqu�ter
(subclass Experimenting Investigating) Merge.kif 12949-12949 Experimenting est une sous-classe de enqu�ter
(subclass DiagnosticProcess Investigating) Merge.kif 12954-12954 Processus de diagnostique est une sous-classe de enqu�ter
(subclass Searching Investigating) Merge.kif 12965-12965 Searching est une sous-classe de enqu�ter
(subclass GramStaining Investigating) Medicine.kif 5343-5343 GramStaining est une sous-classe de enqu�ter


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