an alligator is a kind of animal
alligator is alligatoridae. alligator is alligatorid. american_alligator is alligator. small_alligator is alligator. american_alligator is not alligator. alligator is reptile. alligator is not alligatoridae. large_alligator is alligator.