![]() |
Entity > Physical > Process > Competition > Contest > ViolentContest > Battle |
![]() ![]() | ||||
Battle | ||||
subject | fact |
Battle | documentation A ViolentContest between two or more military units within the context of a war. Note that this does not cover the metaphorical sense of 'battle', which simply means a struggle of some sort. This sense should be represented with the more general concept of Competition | ![]() |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
has axiom (=> | ![]() | |
is a kind of ViolentContest | ![]() | |
Process | is first domain of agent | ![]() |
is first domain of capability | ![]() | |
is first domain of causes | ![]() | |
is first domain of destination | ![]() | |
is first domain of direction | ![]() | |
is first domain of effector | ![]() | |
is first domain of experiencer | ![]() | |
is first domain of frequency | ![]() | |
is first domain of hasSkill | ![]() | |
is first domain of holdsObligation | ![]() | |
is first domain of holdsRight | ![]() | |
is first domain of inhibits | ![]() | |
is first domain of instrument | ![]() | |
is first domain of manner | ![]() | |
is first domain of origin | ![]() | |
is first domain of patient | ![]() | |
is first domain of precondition | ![]() | |
is first domain of prevents | ![]() | |
is first domain of realization | ![]() | |
is first domain of resource | ![]() | |
is first domain of result | ![]() | |
is first domain of subProcess | ![]() | |
is second domain of causes | ![]() | |
is second domain of inhibits | ![]() | |
is second domain of precondition | ![]() | |
is second domain of prevents | ![]() | |
is second domain of subProcess | ![]() | |
IntentionalProcess | is disjoint from NonintentionalProcess | ![]() |
Next ViolentContest: War Up: ViolentContest