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 17932-17935
(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 17931-17931

appearance as argument number 2

(subclass DriversLicense License)	Mid-level-ontology.kif 18285-18285
(subclass Passport License)	Mid-level-ontology.kif 17964-17964
(termFormat ChineseLanguage License "执照")	domainEnglishFormat.kif 34323-34323
(termFormat ChineseTraditionalLanguage License "執照")	domainEnglishFormat.kif 34322-34322
(termFormat EnglishLanguage License "license")	domainEnglishFormat.kif 34321-34321

antecedent

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

Mid-level-ontology.kif 17937-17942