| (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 |
|
|