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


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