(subclass License Certificate) | Mid-level-ontology.kif 16524-16524 | License est une sous-classe de certificat |
(subclass Passport License) | Mid-level-ontology.kif 16557-16557 | Passport est une sous-classe de License |
(subclass DriversLicense License) | Mid-level-ontology.kif 16878-16878 | DriversLicense est une sous-classe de License |