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
(subclass Boxing ViolentContest) Sports.kif 584-584 拳击 是 暴力比赛 的 subclass
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325 直接行动 是 暴力比赛 的 subclass
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 直接行动活动 是 暴力比赛 的 subclass
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421 军事攻击 是 暴力比赛 的 subclass
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092 恐怖主义 是 暴力比赛 的 subclass
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 13876-13876 政治革命 是 暴力比赛 的 subclass
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 21848-21848 化学攻击 是 暴力比赛 的 subclass
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 21934-21934 燃烧装置攻击 是 暴力比赛 的 subclass
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 21976-21976 刀攻击 是 暴力比赛 的 subclass
(subclass Stoning ViolentContest) Mid-level-ontology.kif 22075-22075 乱石 是 暴力比赛 的 subclass
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22134-22134 车辆攻击 是 暴力比赛 的 subclass
(subclass War ViolentContest) Merge.kif 13348-13348 战争 是 暴力比赛 的 subclass
(subclass Battle ViolentContest) Merge.kif 13373-13373 战斗 是 暴力比赛 的 subclass
(subclass PhysicalViolence ViolentContest) emotion.kif 1644-1644 PhysicalViolence 是 暴力比赛 的 subclass


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