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 4028-4041
(subclass Investigating IntentionalProcess) Merge.kif 13077-13077 Investigating is a subclass of intentional process
(subclass ResearchingWeaponOfMassDestruction Investigating) WMD.kif 720-720 Researching weapon of mass destruction is a subclass of investigating
(subclass ReconnaissanceOperation Investigating) MilitaryProcesses.kif 674-674 Reconnaissance operation is a subclass of investigating
(subclass OffensiveInformationOperation Investigating) MilitaryProcesses.kif 1891-1891 Offensive information operation is a subclass of investigating
(subclass Espionage Investigating) Mid-level-ontology.kif 15303-15303 Espionage is a subclass of investigating
(subclass Polling Investigating) Mid-level-ontology.kif 15319-15319 Polling is a subclass of investigating
(subclass Experimenting Investigating) Merge.kif 13103-13103 Experimenting is a subclass of investigating
(subclass DiagnosticProcess Investigating) Merge.kif 13108-13108 Diagnostic process is a subclass of investigating
(subclass Searching Investigating) Merge.kif 13119-13119 Searching is a subclass of investigating
(subclass GramStaining Investigating) Medicine.kif 5352-5352 Gram stain is a subclass of investigating
(subclass PartInspection Investigating) Economy.kif 2053-2053 Part inspection is a subclass of 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