Cheese is a type of Software. you are likely to find Mouse in/at/on Cheese. you are likely to find Mouse in/at/on Snake. 
Inventory is a type of Register. Register is related to Machine. Machine is related to Artificial. 
Software <--IsA-- Cheese <--AtLocation-- Mouse --AtLocation--> Snake 
Inventory --IsA--> Register <--RelatedTo--> Machine <--RelatedTo--> Artificial 