(subclass GeologicalFault GeographicArea) | Geography.kif 2371-2371 | GeologicalFault は 地理的地域 の subclass では %n |
(subclass DipSlipFault GeologicalFault) | Geography.kif 2393-2393 | DipSlipFault は GeologicalFault の subclass では %n |
(subclass StrikeSlipFault GeologicalFault) | Geography.kif 2396-2396 | StrikeSlipFault は GeologicalFault の subclass では %n |