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

Formal Language: 



Term 1: Term 2:

(=>
    (instance ?X Protecting)
    (hasPurpose ?X
        (exists (?OBJ ?T ?H ?HARM)
            (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 18421-18442
(subclass CriminalAction IntentionalProcess) Mid-level-ontology.kif 13859-13859 犯罪行为有意图过程subclass
(subclass Smuggling CriminalAction) Mid-level-ontology.kif 7707-7707 走私犯罪行为subclass
(subclass PoliticalCrime CriminalAction) Mid-level-ontology.kif 13871-13871 政治犯罪犯罪行为subclass
(subclass Trespassing CriminalAction) Mid-level-ontology.kif 18286-18286 擅闯犯罪行为subclass
(subclass Defrauding CriminalAction) Mid-level-ontology.kif 18303-18303 Defrauding犯罪行为subclass
(subclass Murder CriminalAction) Mid-level-ontology.kif 18445-18445 谋杀犯罪行为subclass
(subclass Stealing CriminalAction) Mid-level-ontology.kif 18580-18580 偷窃行为犯罪行为subclass
(subclass Raping CriminalAction) Mid-level-ontology.kif 24100-24100 性侵犯罪行为subclass


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