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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ)
            (and
                (instance ?OBJ Object)
                (patient ?X Object)
                (subclass ?HARM
                    (KappaFn ?H
                        (and
                            (or
                                (instance ?H CriminalAction)
                                (instance ?H Damaging))
                            (=>
                                (holdsDuring ?T
                                    (patient ?H ?OBJ))
                                (not
                                    (holdsDuring ?T
                                        (patient ?X ?OBJ)))))))
                (or
                    (prevents ?X ?HARM)
                    (hinders ?X ?HARM))))))
Mid-level-ontology.kif 16113-16134
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 11496-11496
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7383-7383
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 11508-11508
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 16006-16006
(subclass Defrauding CriminalAction) Mid-level-ontology.kif 16031-16031
(subclass Murder CriminalAction) Mid-level-ontology.kif 16137-16137
(subclass Stealing CriminalAction) Mid-level-ontology.kif 16282-16282
(subclass Raping CriminalAction) Mid-level-ontology.kif 21907-21907


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