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