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 13344-13344
(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 13876-13876
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 21848-21848
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 21934-21934
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 21976-21976
(subclass Stoning ViolentContest) Mid-level-ontology.kif 22075-22075
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22134-22134
(subclass War ViolentContest) Merge.kif 13348-13348
(subclass Battle ViolentContest) Merge.kif 13373-13373
(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