DisjointClasses axioms - imports included
Axioms
⇦ (1-30 of 47) ⇨-
DisjointClasses (Abyssin, Acklay, Aiwha, Aleena, Anooba, Anzellan, Ardennian, Bantha, Besalisk, Bluurg, Bonzami, Brain_
worm , Brezak, Can-cell, Carrier_butterfly , Chelidae, Colo_claw_ , Convor, Dewback, Dianoga, Dokma, Dug, Eopie, Exogorth, Falleeen, Fathier, Fyrnock, Gorg, Gozzo, Grindalid, Gundark, Gutkurr, Harch, Hassk, Humanoid, Hutt, Irling, Ithorian, Jablogian, Jakoosk, Joopa, Karnex_fish dragon , Keeradak, Keteerian, Knobby_white_ , Kouhun, Kowakian_ice_ spider monkey-lizard , Krakavora, Krayt_Dragon , Krykna, Kwazel_Maw , Lanai, Loth-Bat, Loth-wolf, Lurmen, Mamacore, Massiff, Mastiff_phalone , Mohsenians, Mudhorn, Mynock, Mythosaur, Narglatch, Neebray, Nexu, Nuna, Opee_sea_ , Orbak, Ordo_killer Moon_ , Ortolan, Patrolian, Plant, Porg, Puffer_Dragon pig , Purrgil, Rancor, Rathtar, Ravinak, Reek, Rishi_Eel , Roggwart, Rokkna, Saberjowl, Sand_beast , Sando_aqua_ , Sarlacc, Shaak, Skalder, Skrilling, Ssori, Summa-verminoth, Talz, Tauntaun, Thala-siren, Tibidee, Tooka, Toong, Varactyl, Vexis, Voorpak, Vulptex, Wampa, Xandu, Zillo_monster Beast ) Star Wars base -
DisjointClasses (Imperial-class_
Star_ , Resurgent-class_Destroyer Star_ , Venator-class_Destroyer Star_ , Xyston-class_Destroyer Star_ ) Star Wars baseDestroyer -
DisjointClasses (Droid, Living_
thing ) Star Wars base -
DisjointClasses (Canyon, Cave, Coral, Crystalline, Desert, Ecumenopolis, Forest, Gas, Hills, Hole, Ice, Junkyards, Lava_
fields , Mesa, Mountains, Plains, Rocky, Seas, Swamp, Tropical, Tundra, Volcanoes, Wasteland) Star Wars base -
DisjointClasses (Glider, Land_
Vehicle , Pod, Repulsorcraft, Ship, Space_Station , Underwater_vehicle ) Star Wars base -
DisjointClasses (MG-100_
StarFortress_ , TIE_SF-17 bomber ) Star Wars base -
DisjointClasses (Base, Building, District, Facility, Farm, Grave, Mine, Settlement, Trench, Tunnel, Underworld_
portal ) Star Wars base - DisjointClasses (Non-sentient, Semi-sentient, Sentient) Star Wars base
-
DisjointClasses (Braha-tok-class_
gunship , LAAT_Gunship , LAAT_le_ ) Star Wars basepatrol_ gunship -
DisjointClasses (Baleen-class_
heavy_ , Class_freighter 4_ , Darius_Container_ Transport G-class_ , G9_freighter Rigger-class_ , HCT-2001_light_ freighter Dragonboat-class_ , Jabiim_Reugeot_ 905 freight_ , Lucrehulk_transport Freighter , Nebula-class_freighter , VCX-100_light_ , YT-1300f_freighter Light_ , YT-2400_Freighter light_ ) Star Wars basefreighter - DisjointClasses (Female, Male) Star Wars base
-
DisjointClasses (Abstract_
subject , Colour, Gender, MovementType, Purpose, Role, Sentience, Size, Trait) Star Wars base -
DisjointClasses (Cantina, Communication_
relay , Communication_tower , Factory, Fortress, Laboratory, Library, Prison, Temple, Tower) Star Wars base -
DisjointClasses (Being, Organisation, The_
Force ) Star Wars base -
DisjointClasses (City, Hive, Space_
Port , Town, Village) Star Wars base -
DisjointClasses (Academy, Band, Blockade, Corporation, Council, Crew, Crime_
Syndicate , Family, Fleet, Gang, Group, Guild, House, Military_Unit , Political_Organisation , Project, Religious_Order , Security_Force , Tribe) Star Wars base - DisjointClasses (Actor, Event, Feature, Object, Place) Star Wars base
- DisjointClasses (Army, Cell) Star Wars base
-
DisjointClasses (Asteroid, Asteroid_
field , Gravity_Well , Maelstrom, Moon, Nebula, Planet, Region, Sector, Star_cluster , System, Waypoint) Star Wars base -
DisjointClasses (CSS-1_
Corellian_ , Flarestar-class_Star_ Shuttle attack_ , Lambda-class_shuttle T-4a_ , Nu-class_shuttle shuttle , Omicron-class_attack_ , Phi-Class_shuttle Shuttle , Rho-class_transport_ , Sentinel-class_shuttle landing_ , Sheathipede-class_craft transport_ , Star_shuttle Commuter_ , Taylander_2000 shuttle , Upsilon-class_command_ ) Star Wars baseshuttle - DisjointClasses (Adult, Baby, Child) Star Wars base
-
DisjointClasses (Bridge, Bridge_
structure , Detention_Block , Docks, Engine, Fuel_Depot , Garbage_Compactor , Hangar, Landing_Platform , Medical_bay , Office, Reactor_Core , Repair_facility , Salvage_yard , Sewer, Shield_Generator , Thermal_exhaust_ , Throne_port Room , Trash_Incinerator , Turret, Vault) Star Wars base - DisjointClasses (TIE-Advanced, TIE-Defender, TIE-Interceptor) Star Wars base
-
DisjointClasses (H-type_
Nubian_ , J-type_yacht star_ , Nauur-class_skiff yacht , Solar_sailer ) Star Wars base -
DisjointClasses (HCVw_
A9_ , NR-N99_turbo_ tank Persuader-class_ ) Star Wars basedroid_ enforcer -
DisjointClasses (Crawler, HAVw_
A6_ , Separatist_Juggernaut command_ , Superlaser_center siege_ , Tank, Train, Troop_cannon Transporter , Walker) Star Wars base -
DisjointClasses (HMP_
droid_ , HoverTank, Hovertrain, MTT, Podracer, Sail_gunship Barge , Single_Trooper_ , Skiff, Skyhopper, Speeder, T-47_Aerial_ Platform airspeeder , Trexler_Marauder ) Star Wars base -
DisjointClasses (AAT_
Mk_ , TX-225_I GAVr_ ) Star Wars basetank -
DisjointClasses (Arquitens-class_
command_ , Arquitens-class_cruiser light_ , Class_cruiser 546_ , Gozanti-class_Cruiser cruiser ) Star Wars base - DisjointClasses (AT-AT, AT-DP, AT-M6, AT-RT, AT-ST, AT-TE) Star Wars base