ClassAssertion axioms - imports included
Axioms
⇦ (1-30 of 3992) ⇨-
Failed_
Ambush_ : included some (on_ Christophsis
Killing
and (of value TJ-55)) Clone Wars 1 -
Three_
force_ : included some (users_ bound
Rescue
and (participant some Clone)
and (participant value Jar_Jar_ )) Clone Wars 1Binks -
Search_
for_ : included some (a_ traitor
(included some (
Destruction
and (of some AT-TE)))
and (included some (
Destruction
and (of some Gunship)))
and (used some Explosive)
and (participant value Slick)) Clone Wars 1 -
Defeating_
the_ : included some (Ryloth_ blockade
Injury
and (of value Wullf_Yularen )) Clone Wars 1 -
Battle_
of_ : included some (Abregado
Attack
and (used some Ion_Cannon )) Clone Wars 1 -
Destruction_
of_ : of some Pelta-class_medical_ supply_ convoy frigate Clone Wars 1 -
Infiltration_
of_ : included some (Vindis_ Lab
Escape
and (of value LEP-86C8)) Clone Wars 1 -
Attack_
on_ : included some (Rishi_ Station
Killing
and (of some BX-series_droid_ )) Clone Wars 1commando -
Pursuing_
the_ : included some (Malevolence
Rescue
and (of value C-3PO)
and (of value Padme_Amidala )
and (participant value Anakin_Skywalker )
and (participant value Obi-Wan_Kenobi )
and (used value Twilight)) Clone Wars 1 -
Battle_
of_ : included some (the_ Kaliida_ Nebula
Damage
and (of value Malevolence)) Clone Wars 1 -
Ambush_
on_ : included some (Rugosa
Killing
and (of some B1_Battle_ )Droid
and (of some B2_Super_ )Battle_ Droid
and (of some Droideka)) Clone Wars 1 -
One_
Day_ : included some (War
Meeting
and (about some War)
and (participant value Thi-Sen)) Clone Wars 1 -
Mission_
to_ : included some (Capture_ Dooku
Crash
and (included some (
Death
and (of some FA-4_pilot_ )))droid
and (of some Punworcca_116-class_ )interstellar_ sloop
and (of some Sheathipede-class_transport_ )shuttle
and (at value Vanqor)) Clone Wars 1 -
Three_
force_ : included some (users_ bound
Escape
and (included some (
Killing
and (of value Turk_Falso )))
and (included some (
Stealing
and (of some Flarestar-class_attack_ )))shuttle
and (of value Dooku)) Clone Wars 1 -
Capture_
of_ : included some (Dooku_ by_ Pirates
Journey
and (from value Vanqor)
and (to value Florrum)) Clone Wars 1 -
Asajj_
vs_ : included some (Obi-Wan_ and_ Anakin
Escape
and (of value Asajj_Ventress )
and (used value Trident)) Clone Wars 1 -
Battle_
of_ : included some (Nabat
Attack
and (included some (
Killing
and (of value TX-20)))
and (participant some Twi-Lek)) Clone Wars 1 -
Battle_
of_ : Battle Clone Wars 1the_ Kaliida_ Nebula -
Battle_
of_ : included some (the_ Kaliida_ Nebula
Journey
and (included some (
Damage
and (of some Y-Wing)))
and (participant some Neebray)
and (at value Balmorra_Run )
and (of value Shadow_Squadron )) Clone Wars 1 -
Mission_
to_ : included some (find_ an_ antidote
Conversation
and (about some Moon)
and (participant some Diathim)) Clone Wars 1 -
One_
Day_ : participant some Narglatch Clone Wars 1War -
Failed_
Ambush_ : included some (on_ Christophsis
Stealing
and (of some Head)
and (from value TJ-55)
and (participant value Gus)) Clone Wars 1 -
Ambush_
on_ : included some (Ryloth
Communication
and (about value Cham_Syndulla )
and (participant value Mace_Windu )
and (participant value Orn_Free_ )Taa
and (participant value Sheev_Palpatine )
and (participant value Yoda)) Clone Wars 1 -
Rescue_
of_ : included some (R2-D2
(included some (
Destruction
and (of value Skytop_Station )))
and (used some Explosive)) Clone Wars 1 -
Defeating_
the_ : included some (Ryloth_ blockade
Destruction
and (of value Redeemer)) Clone Wars 1 -
Battle_
of_ : included some (Abregado
Killing
and (of some B1_Battle_ )) Clone Wars 1Droid -
Ransom_
for_ : included some (Dooku
Attack
and (participant some HoverTank)
and (victoryOf value Jar_Jar_ )) Clone Wars 1Binks -
Rescue_
of_ : included some (R2-D2
Killing
and (of value Gha_Nachkt )) Clone Wars 1 -
Pursuing_
the_ : Fight Clone Wars 1Malevolence -
Stranded_
on_ : found some Tree Clone Wars 1Maridun