Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  ]  KB:  Language:    Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - Shrapnel
Shrapnel(shrapnel)

appearance as argument number 1
-------------------------


(documentation Shrapnel EnglishLanguage "Parts of a Bomb that are designed to spread out from the explosion and cause damage to Humans and objects.") MilitaryDevices.kif 2254-2255
(initialPart Shrapnel Bomb) MilitaryDevices.kif 2258-2258 Every shrapnel is initially part of a bomb
(subclass Shrapnel Object) MilitaryDevices.kif 2253-2253 Shrapnel is a subclass of object

appearance as argument number 2
-------------------------


(termFormat EnglishLanguage Shrapnel "shrapnel") MilitaryDevices.kif 2256-2256

antecedent
-------------------------


(=>
    (instance ?S Shrapnel)
    (exists (?B ?E)
        (and
            (instance ?B Bomb)
            (instance ?E Explosion)
            (instrument ?E ?B)
            (holdsDuring
                (ImmediatePastFn
                    (WhenFn ?E))
                (part ?S ?B))
            (holdsDuring
                (ImmediateFutureFn
                    (WhenFn ?E))
                (not
                    (part ?S ?B))))))		 MilitaryDevices.kif 2260-2275
(=>
    (instance ?S Shrapnel)
    (hasPurpose ?S
        (exists (?D)
            (and
                (instance ?D Damaging)
                (instrument ?D ?S)))))		 MilitaryDevices.kif 2277-2283


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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