elevation

Deductions

• place type is for example elevation ⇐ (elevation is a place type), (is a is inverse of is for example)
• elevation is a place type ⇐ (Finnish National Land Survey place type is subclass of place type), (elevation is a Finnish National Land Survey place type)
• elevation is for example Ben Nevis ⇐ (Ben Nevis is a elevation), (is a is inverse of is for example)
• elevation is for example Mafadi ⇐ (Mafadi is a elevation), (is a is inverse of is for example)
• Finnish National Land Survey place type is for example elevation ⇐ (elevation is a Finnish National Land Survey place type), (is a is inverse of is for example)
• elevation is for example Denali ⇐ (Denali is a elevation), (is a is inverse of is for example)
• Ben Nevis is a elevation ⇐ (mountain is subclass of elevation), (Ben Nevis is a mountain)
• Denali is a elevation ⇐ (mountain is subclass of elevation), (Denali is a mountain)
• Mafadi is a elevation ⇐ (mountain is subclass of elevation), (Mafadi is a mountain)