(subclass License Certificate) | Mid-level-ontology.kif 16524-16524 | License は 証明書 の subclass では %n |
(subclass Passport License) | Mid-level-ontology.kif 16557-16557 | Passport は License の subclass では %n |
(subclass DriversLicense License) | Mid-level-ontology.kif 16878-16878 | DriversLicense は License の subclass では %n |