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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (weaponCarryingCapability ?MV ?WC ?COUNT)
        (instance ?WEAPON ?WC)
        (capability ?PC ?ROLE ?WEAPON)
        (or
            (subclass ?PC Shooting)
            (subclass ?PC Damaging)))
    (capability ?PC ?ROLE ?MV))		 MilitaryDevices.kif 35-43
(=>
    (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 Damaging InternalChange) Merge.kif 12270-12270 Damaging ist eine teilkategorie von InternalChange
(subclass Sabotage Damaging) MilitaryProcesses.kif 220-220 Sabotage ist eine teilkategorie von Damaging
(subclass Injuring Damaging) Merge.kif 10427-10427 Injuring ist eine teilkategorie von Damaging
(subclass Destruction Damaging) Merge.kif 12276-12276 Destruction ist eine teilkategorie von Damaging
(subclass Breaking Damaging) Merge.kif 12498-12498 Breaking ist eine teilkategorie von Damaging
(subclass ForestDamage Damaging) Geography.kif 2715-2715 ForestDamage ist eine teilkategorie von Damaging


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