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 18420-18441
(subclass Damaging InternalChange) Merge.kif 12292-12292 Damaging ist eine teilkategorie von InternalChange
(subclass Sabotage Damaging) MilitaryProcesses.kif 220-220 Sabotage ist eine teilkategorie von Damaging
(subclass Injuring Damaging) Merge.kif 10449-10449 Injuring ist eine teilkategorie von Damaging
(subclass Destruction Damaging) Merge.kif 12298-12298 Destruction ist eine teilkategorie von Damaging
(subclass Breaking Damaging) Merge.kif 12520-12520 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