From Natural Language to DL

• Superheroes that wear bat-costumes have sidekicks.
  $Superhero \sqcap\exists wear.BatCostume \sqsubseteq \exists hasSidekick.\top$
   
• Someone whose opponent is a superhero is a supervillain.
  $\exists hasOpponent.Superhero \sqsubseteq Supervillain$
   
• Only superheroes and supervillains can have superpowers.
  $\exists hasSuperpower.\top \sqsubseteq (Superhero \sqcup Supervillain)$
   
• Someone who has a sidekick also has a teammate.
  $\exists hasSidekick.\top \sqsubseteq \exists hasTeammate.\top$
   
• A person's sidekick is always that person's teammate.
  $hasSidekick \sqsubseteq hasTeammate$

PS: These were my exercises from the Fuzzy Description Logic course @ TU Dresden.