| appearance as argument number 1 |
|
| (documentation target EnglishLanguage "target is a subrelation of destination when there is a Projectile as an instrument. (destination ?A ?O) means that ?O is the target of an Attack ?A") | MilitaryProcesses.kif 2785-2787 | |
| (domain target 1 Attack) | MilitaryProcesses.kif 2788-2788 | |
| (domain target 2 Object) | MilitaryProcesses.kif 2789-2789 | |
| (instance target CaseRole) | MilitaryProcesses.kif 2783-2783 | |
| (subrelation target destination) | MilitaryProcesses.kif 2784-2784 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage target "%2 is the target of %1") | MilitaryProcesses.kif 2886-2886 | |
| (termFormat EnglishLanguage target "target") | MilitaryProcesses.kif 3012-3012 |
| antecedent |
|
|
| (=> (target ?A ?O) (exists (?W ?P) (and (instance ?W Weapon) (instrument ?A ?W) (instance ?P Projectile) (patient ?A ?P) (destination ?A ?O)))) |
MilitaryProcesses.kif 2792-2800 |
|
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