Investigation is related to Evaluation. Evaluation is a type of Judgment. Justice is a type of Judgment. 
Prove is related to Proof. Proof is related to Math. Math is related to Divide. Divide is related to Problem. 
Investigation <--RelatedTo--> Evaluation --IsA--> Judgment <--IsA-- Justice 
Prove <--RelatedTo--> Proof <--RelatedTo--> Math <--RelatedTo--> Divide <--RelatedTo--> Problem 