Diagnose is a type of Analyze. Analyze is a synonym of Examine. 
Strip is a type of Artifact. Button is a type of Artifact. Key is a type of Button. 
Diagnose --IsA--> Analyze <--Synonym--> Examine 
Strip --IsA--> Artifact <--IsA-- Button <--IsA-- Key 