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 Combustion ChemicalDecomposition) Merge.kif 12571-12571 子類 Combustion and ChemicalDecomposition
(subclass Fire Combustion) Mid-level-ontology.kif 21809-21809 子類 and Combustion
(subclass IncendiaryDeviceAttack Combustion) Mid-level-ontology.kif 21934-21934 子類 燃燒裝置攻擊 and Combustion
(subclass ForestFire Combustion) Geography.kif 2405-2405 子類 森林火災 and Combustion
(subclass GrassFire Combustion) Geography.kif 2415-2415 子類 草火 and Combustion
(subclass Backfire Combustion) Cars.kif 1350-1350 子類 Backfire and Combustion


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