TreeView Knowledge Base Browser

appearance as argument number 1

(subclass DriversLicense License)	Mid-level-ontology.kif 18496-18496	Drivers license is a subclass of license
(documentation DriversLicense EnglishLanguage "A License which identifies the holder and indicates that he has the right to drive a certain class of RoadVehicle.")	Mid-level-ontology.kif 18497-18498	Drivers license is a subclass of license
(externalImage DriversLicense "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ DE_licence_front.jpg")	pictureList.kif 5966-5966	Drivers license is a subclass of license
(externalImage DriversLicense "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ DE_licence_back.jpg")	pictureList.kif 6400-6400	Drivers license is a subclass of license

appearance as argument number 2

(termFormat EnglishLanguage DriversLicense "drivers license")	domainEnglishFormat.kif 20484-20484
(termFormat ChineseTraditionalLanguage DriversLicense "駕照")	domainEnglishFormat.kif 20485-20485
(termFormat ChineseLanguage DriversLicense "驾照")	domainEnglishFormat.kif 20486-20486

antecedent

(=>
    (and
        (instance ?L DriversLicense)
        (possesses ?A ?L))
    (confersNorm ?L Permission
        (exists (?D ?V)
            (and
                (instance ?D Driving)
                (agent ?D ?A)
                (patient ?D ?V)
                (instance ?V RoadVehicle)))))

If X is an instance of drivers license and Y possesses X, then X confers norm permission for there exist Z, W such that Z is an instance of driving, Y is an agent of Z, W is a patient of Z, and W is an instance of road vehicle