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

Formal Language: 



Term 1: Term 2:

(=>
    (and
        (instance ?V ViolentContest)
        (patient ?V ?H)
        (attribute ?H
            (InjuryCausedFn ?PC))
        (attribute ?H
            (ImpairedBodyPartFn Airway)))
    (modalAttribute
        (or
            (subclass ?PC Combustion)
            (exists (?FI)
                (and
                    (instance ?I Injuring)
                    (located ?I ?F)
                    (instance ?F Face)
                    (patient ?I ?H)))) Likely))		 Medicine.kif 698-715
(subclass ViolentContest Contest) Merge.kif 13322-13322
(subclass Boxing ViolentContest) Sports.kif 584-584
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 13877-13877
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 21849-21849
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 21935-21935
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 21977-21977
(subclass Stoning ViolentContest) Mid-level-ontology.kif 22076-22076
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22135-22135
(subclass War ViolentContest) Merge.kif 13326-13326
(subclass Battle ViolentContest) Merge.kif 13351-13351
(subclass PhysicalViolence ViolentContest) emotion.kif 1644-1644


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