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 子類 ViolentContest and Contest
(subclass Boxing ViolentContest) Sports.kif 584-584 子類 拳擊 and ViolentContest
(subclass DirectAction ViolentContest) MilitaryProcesses.kif 325-325 子類 直接行動 and ViolentContest
(subclass DirectActionActivity ViolentContest) MilitaryProcesses.kif 389-389 子類 直接行動活動 and ViolentContest
(subclass MilitaryAssault ViolentContest) MilitaryProcesses.kif 421-421 子類 軍事攻擊 and ViolentContest
(subclass Terrorism ViolentContest) MilitaryProcesses.kif 2092-2092 子類 恐怖主義 and ViolentContest
(subclass PoliticalRevolution ViolentContest) Mid-level-ontology.kif 13876-13876 子類 政治革命 and ViolentContest
(subclass ChemicalAttack ViolentContest) Mid-level-ontology.kif 21848-21848 子類 化學攻擊 and ViolentContest
(subclass IncendiaryDeviceAttack ViolentContest) Mid-level-ontology.kif 21934-21934 子類 燃燒裝置攻擊 and ViolentContest
(subclass KnifeAttack ViolentContest) Mid-level-ontology.kif 21976-21976 子類 刀攻擊 and ViolentContest
(subclass Stoning ViolentContest) Mid-level-ontology.kif 22075-22075 子類 亂石 and ViolentContest
(subclass VehicleAttack ViolentContest) Mid-level-ontology.kif 22134-22134 子類 車輛攻擊 and ViolentContest
(subclass War ViolentContest) Merge.kif 13348-13348 子類 War and ViolentContest
(subclass Battle ViolentContest) Merge.kif 13373-13373 子類 Battle and ViolentContest
(subclass PhysicalViolence ViolentContest) emotion.kif 1644-1644 子類 PhysicalViolence and ViolentContest


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