more pictures...
| License(license)
more pictures... | | licence, license, permit |
| appearance as argument number 1 |
|
|
| (documentation License EnglishLanguage "License is the subclass of Certificates that are granted by a GovernmentOrganization and that authorize the performance of a kind of action, e.g., driving, exporting, travelling to another country, etc.") | Mid-level-ontology.kif 16743-16746 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ DE_licence_front.jpg") | pictureList.kif 2844-2844 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Prawo_jazdy_katB.jpg") | pictureList.kif 2846-2846 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ F%C3%B8rerkort_fremside.jpg") | pictureList.kif 2845-2845 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Private_Pilot.jpg") | pictureList.kif 2847-2847 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ PL_driving_license_front.JPG") | pictureList.kif 2700-2700 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Fuehrerschein_neu.png") | pictureList.kif 2843-2843 | |
| (subclass License Certificate) | Mid-level-ontology.kif 16742-16742 | License is a subclass of certificate |
| appearance as argument number 2 |
|
|
| (subclass DriversLicense License) | Mid-level-ontology.kif 17096-17096 | Drivers license is a subclass of license |
| (subclass Passport License) | Mid-level-ontology.kif 16775-16775 | Passport is a subclass of license |
| (termFormat ChineseLanguage License "执照") | domainEnglishFormat.kif 34329-34329 | Passport is a subclass of license |
| (termFormat ChineseTraditionalLanguage License "執照") | domainEnglishFormat.kif 34328-34328 | Passport is a subclass of license |
| (termFormat EnglishLanguage License "license") | domainEnglishFormat.kif 34327-34327 | Passport is a subclass of license |
| antecedent |
|
|
| (=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 16748-16753 |
|
|
|
|