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 17453-17456 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ DE_licence_front.jpg") | pictureList.kif 2843-2843 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Prawo_jazdy_katB.jpg") | pictureList.kif 2845-2845 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ F%C3%B8rerkort_fremside.jpg") | pictureList.kif 2844-2844 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Private_Pilot.jpg") | pictureList.kif 2846-2846 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ PL_driving_license_front.JPG") | pictureList.kif 2699-2699 | |
| (externalImage License "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Fuehrerschein_neu.png") | pictureList.kif 2842-2842 | |
| (subclass License Certificate) | Mid-level-ontology.kif 17452-17452 | License is a subclass of certificate |
| appearance as argument number 2 |
|
|
| (subclass DriversLicense License) | Mid-level-ontology.kif 17806-17806 | Drivers license is a subclass of license |
| (subclass Passport License) | Mid-level-ontology.kif 17485-17485 | Passport is a subclass of license |
| (termFormat ChineseLanguage License "执照") | domainEnglishFormat.kif 34323-34323 | Passport is a subclass of license |
| (termFormat ChineseTraditionalLanguage License "執照") | domainEnglishFormat.kif 34322-34322 | Passport is a subclass of license |
| (termFormat EnglishLanguage License "license") | domainEnglishFormat.kif 34321-34321 | Passport is a subclass of license |
| antecedent |
|
|
| (=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 17458-17463 |
|
|
|
|