more pictures...
| License
more pictures... | |
| 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 16524-16527 | |
| (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 16523-16523 | License e' uma sub-classe de Certificado |
| appearance as argument number 2 |
|
|
| (subclass DriversLicense License) | Mid-level-ontology.kif 16877-16877 | DriversLicense e' uma sub-classe de License |
| (subclass Passport License) | Mid-level-ontology.kif 16556-16556 | Passport e' uma sub-classe de License |
| (termFormat ChineseLanguage License "执照") | domainEnglishFormat.kif 34295-34295 | |
| (termFormat ChineseTraditionalLanguage License "執照") | domainEnglishFormat.kif 34294-34294 | |
| (termFormat EnglishLanguage License "license") | domainEnglishFormat.kif 34293-34293 |
| antecedent |
|
|
| (=> (instance ?L License) (exists (?ORG) (and (instance ?ORG GovernmentOrganization) (issuedBy ?L ?ORG)))) |
Mid-level-ontology.kif 16529-16534 |
|
|
|
|