License - Sigma Knowledge base Browser

appearance as argument number 1

(subclass License Certificate)	Mid-level-ontology.kif 18138-18138	License is a subclass of certificate
(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 18139-18142	License is a subclass of certificate
(externalImage License "http://upload.wikimedia.org/wikipedia/commons/c/ c1/ PL_driving_license_front.JPG")	pictureList.kif 2699-2699	License is a subclass of certificate
(externalImage License "http://upload.wikimedia.org/wikipedia/commons/f/ f7/ Fuehrerschein_neu.png")	pictureList.kif 2842-2842	License is a subclass of certificate
(externalImage License "http://upload.wikimedia.org/wikipedia/commons/7/ 7c/ DE_licence_front.jpg")	pictureList.kif 2843-2843	License is a subclass of certificate
(externalImage License "http://upload.wikimedia.org/wikipedia/commons/9/ 9c/ F%C3%B8rerkort_fremside.jpg")	pictureList.kif 2844-2844	License is a subclass of certificate
(externalImage License "http://upload.wikimedia.org/wikipedia/commons/8/ 8a/ Prawo_jazdy_katB.jpg")	pictureList.kif 2845-2845	License is a subclass of certificate
(externalImage License "http://upload.wikimedia.org/wikipedia/commons/a/ a8/ Private_Pilot.jpg")	pictureList.kif 2846-2846	License is a subclass of certificate

appearance as argument number 2

(subclass Passport License)	Mid-level-ontology.kif 18171-18171	Passport is a subclass of license
(subclass DriversLicense License)	Mid-level-ontology.kif 18496-18496	Drivers license is a subclass of license
(termFormat EnglishLanguage License "license")	domainEnglishFormat.kif 34297-34297	Drivers license is a subclass of license
(termFormat ChineseTraditionalLanguage License "執照")	domainEnglishFormat.kif 34298-34298	Drivers license is a subclass of license
(termFormat ChineseLanguage License "执照")	domainEnglishFormat.kif 34299-34299	Drivers license is a subclass of license

antecedent

(=>
    (instance ?L License)
    (exists (?ORG)
        (and
            (instance ?ORG GovernmentOrganization)
            (issuedBy ?L ?ORG))))

If X is an instance of license, then there exists Y such that Y is an instance of government organization and Y is an issued by of X