mountain

Deductions

• type of object is for example mountain ⇐ (mountain is a type of object), (is a is inverse of is for example)
• feature type is for example mountain ⇐ (mountain is a feature type), (is a is inverse of is for example)
• mountain is a type of object ⇐ (feature type is subclass of type of object), (mountain is a feature type)
• mountain is for example Ben Nevis ⇐ (Ben Nevis is a mountain), (is a is inverse of is for example)
• mountain is for example Denali ⇐ (Denali is a mountain), (is a is inverse of is for example)
• mountain is for example Mafadi ⇐ (Mafadi is a mountain), (is a is inverse of is for example)