| appearance as argument number 1 |
|
| (subclass Shrapnel Object) | MilitaryDevices.kif 2253-2253 | Shrapnel is a subclass of object |
| (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 | Shrapnel is a subclass of object |
| (initialPart Shrapnel Bomb) | MilitaryDevices.kif 2258-2258 | Every shrapnel is initially part of a bomb |
| 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 | If X is an instance of shrapnel, then there exist Y, Z such that Y is an instance of bomb, Z is an instance of explosion, Y is an instrument for Z, X is a part of Y holds during immediately before the time of existence of Z, and X is not a part of Y holds during immediately after the time of existence of Z |
| (=> (instance ?S Shrapnel) (hasPurpose ?S (exists (?D) (and (instance ?D Damaging) (instrument ?D ?S))))) |
MilitaryDevices.kif 2277-2283 | If X is an instance of shrapnel, then X has the purpose there exists Y such that Y is an instance of damaging and X is an instrument for Y |
|
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