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 では %n
(subclass Boxing ViolentContest) Sports.kif 584-584 Boxing は 激しいコンテスト の subclass では %n
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325 DirectAction は 激しいコンテスト の subclass では %n
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 DirectActionActivity は 激しいコンテスト の subclass では %n
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421 MilitaryAssault は 激しいコンテスト の subclass では %n
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092 Terrorism は 激しいコンテスト の subclass では %n
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 13877-13877 PoliticalRevolution は 激しいコンテスト の subclass では %n
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 21849-21849 ChemicalAttack は 激しいコンテスト の subclass では %n
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 21935-21935 IncendiaryDeviceAttack は 激しいコンテスト の subclass では %n
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 21977-21977 KnifeAttack は 激しいコンテスト の subclass では %n
(subclass Stoning ViolentContest) Mid-level-ontology.kif 22076-22076 Stoning は 激しいコンテスト の subclass では %n
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22135-22135 VehicleAttack は 激しいコンテスト の subclass では %n
(subclass War ViolentContest) Merge.kif 13326-13326 戦争 は 激しいコンテスト の subclass では %n
(subclass Battle ViolentContest) Merge.kif 13351-13351 戦い は 激しいコンテスト の subclass では %n
(subclass PhysicalViolence ViolentContest) emotion.kif 1644-1644 PhysicalViolence は 激しいコンテスト の subclass では %n


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