(subclass DipSlipFault GeologicalFault) | Geography.kif 2393-2393 | DipSlipFault は GeologicalFault の subclass では %n |
(subclass NormalFault DipSlipFault) | Geography.kif 2394-2394 | NormalFault は DipSlipFault の subclass では %n |
(subclass ThrustFault DipSlipFault) | Geography.kif 2395-2395 | ThrustFault は DipSlipFault の subclass では %n |