(subclass License Certificate) | Mid-level-ontology.kif 16524-16524 | License is a subclass of certificate |
(subclass Passport License) | Mid-level-ontology.kif 16557-16557 | Passport is a subclass of license |
(subclass DriversLicense License) | Mid-level-ontology.kif 16878-16878 | Drivers license is a subclass of license |