License - Sigma Knowledge base Browser

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 14106-14109
(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 14105-14105

appearance as argument number 2

(subclass DriversLicense License)	Mid-level-ontology.kif 14426-14426
(subclass Passport License)	Mid-level-ontology.kif 14149-14149
(termFormat ChineseLanguage License "执照")	domainEnglishFormat.kif 34207-34207
(termFormat ChineseTraditionalLanguage License "執照")	domainEnglishFormat.kif 34206-34206
(termFormat EnglishLanguage License "license")	domainEnglishFormat.kif 34205-34205

antecedent

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

Mid-level-ontology.kif 14111-14116