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 14167-14170 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ DE_licence_front.jpg") | pictureList.kif 2845-2845 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Prawo_jazdy_katB.jpg") | pictureList.kif 2847-2847 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ F%C3%B8rerkort_fremside.jpg") | pictureList.kif 2846-2846 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Private_Pilot.jpg") | pictureList.kif 2848-2848 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ PL_driving_license_front.JPG") | pictureList.kif 2701-2701 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Fuehrerschein_neu.png") | pictureList.kif 2844-2844 | |
| (subclass License Certificate) | Mid-level-ontology.kif 14166-14166 | License is a subclass of certificate |
| appearance as argument number 2 |
|
|
| (subclass DriversLicense License) | Mid-level-ontology.kif 14487-14487 | Drivers license is a subclass of license |
| (subclass Passport License) | Mid-level-ontology.kif 14210-14210 | Passport is a subclass of license |
| (termFormat ChineseLanguage License "执照") | domainEnglishFormat.kif 34189-34189 | |
| (termFormat ChineseTraditionalLanguage License "執照") | domainEnglishFormat.kif 34188-34188 | |
| (termFormat EnglishLanguage License "license") | domainEnglishFormat.kif 34187-34187 |
| antecedent |
|
|
| (=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 14172-14177 |
|
|
|
|