I wouldn’t use Wiki as an official designation for terms but ya most people know what you mean. Diesel and gasoline are both petroleum products. Gas is short for gasoline but alone it can mean something else. Petro is slang for gasoline and most would know what you mean as well but anytime in the industry would not be sure if you said that.