Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| target |
| appearance as argument number 1 |
|
| (instance target CaseRole) | MilitaryProcesses.kif 2824-2824 | target is an instance of case role |
| (subrelation target destination) | MilitaryProcesses.kif 2825-2825 | target is a subrelation of destination |
| (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 2826-2828 | target is a subrelation of destination |
| (domain target 1 Attack) | MilitaryProcesses.kif 2829-2829 | The number 1 argument of target is an instance of attack |
| (domain target 2 Object) | MilitaryProcesses.kif 2830-2830 | The number 2 argument of target is an instance of object |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage target "%2 is the target of %1") | MilitaryProcesses.kif 2927-2927 | |
| (termFormat EnglishLanguage target "target") | MilitaryProcesses.kif 3053-3053 |
| 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 2833-2841 | If X is the target of Y, then there exist Z, W such that Z is an instance of weapon, Z is an instrument for Y, W is an instance of projectile, W is a patient of Y, and Y ends up at X |
|