| 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 2782-2784 | |
| (domain target 1 Attack) | MilitaryProcesses.kif 2785-2785 | 域 target, 1 and 攻擊 |
| (domain target 2 Object) | MilitaryProcesses.kif 2786-2786 | 域 target, 2 and Object |
| (instance target CaseRole) | MilitaryProcesses.kif 2780-2780 | 例 target and CaseRole |
| (subrelation target destination) | MilitaryProcesses.kif 2781-2781 | 子關係 target and 目的地 |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage target "%2 is the target of %1") | MilitaryProcesses.kif 2883-2883 | |
| (termFormat EnglishLanguage target "target") | MilitaryProcesses.kif 3009-3009 |
| 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 2789-2797 |
|
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