TreeView Knowledge Base Browser

appearance as argument number 1

(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 16906-16907
(externalImage DriversLicense "http://upload.wikimedia.org/wikipedia/commons/ 7/ 7c/ DE_licence_front.jpg")	pictureList.kif 5967-5967
(externalImage DriversLicense "http://upload.wikimedia.org/wikipedia/commons/ c/ ca/ DE_licence_back.jpg")	pictureList.kif 6401-6401
(subclass DriversLicense License)	Mid-level-ontology.kif 16905-16905	DriversLicense è una sottoclasse di License

appearance as argument number 2

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

antecedent

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

Mid-level-ontology.kif 16909-16920