TreeView Knowledge Base Browser

appearance as argument number 1

(subclass PassCertificate Certificate)	Mid-level-ontology.kif 18191-18191	Pass certificate is a subclass of certificate
(documentation PassCertificate EnglishLanguage "A Certificate that allows the holder to be at or away from a specified location, e.g. a pass for a leave of absence, a hall pass, a pass to enter a cleared facility, etc.")	Mid-level-ontology.kif 18192-18194	Pass certificate is a subclass of certificate

appearance as argument number 2

(termFormat EnglishLanguage PassCertificate "pass certificate")	domainEnglishFormat.kif 44645-44645
(termFormat ChineseTraditionalLanguage PassCertificate "通過證書")	domainEnglishFormat.kif 44646-44646
(termFormat ChineseLanguage PassCertificate "通过证书")	domainEnglishFormat.kif 44647-44647

antecedent

(=>
    (and
        (instance ?P PassCertificate)
        (possesses ?A ?P))
    (exists (?L)
        (confersNorm
            (located ?A ?L) Permission ?P)))

If X is an instance of pass certificate and Y possesses X, then there exists Z such that Y is located at Z confers norm permission for X