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 12945-12945 Investigating ist eine teilkategorie von IntentionalProcess
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 720-720 ResearchingWeaponOfMassDestruction ist eine teilkategorie von Investigating
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 ReconnaissanceOperation ist eine teilkategorie von Investigating
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1891-1891 OffensiveInformationOperation ist eine teilkategorie von Investigating
(subclass Espionage Investigating) Mid-level-ontology.kif 13931-13931 Espionage ist eine teilkategorie von Investigating
(subclass Polling Investigating) Mid-level-ontology.kif 13947-13947 Polling ist eine teilkategorie von Investigating
(subclass Experimenting Investigating) Merge.kif 12971-12971 Experimenting ist eine teilkategorie von Investigating
(subclass DiagnosticProcess Investigating) Merge.kif 12976-12976 DiagnosticProcess ist eine teilkategorie von Investigating
(subclass Searching Investigating) Merge.kif 12987-12987 Searching ist eine teilkategorie von Investigating
(subclass GramStaining Investigating) Medicine.kif 5343-5343 GramStaining ist eine teilkategorie von Investigating


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