Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Certificate
Certificate(certificate)
more pictures...
AA, AAS, AB, ABLS, AM, AMusD, AN, Articles_of_Confederation, Artium_Baccalaurens, Artium_Magister, Associate_in_Applied_Science, Associate_in_Arts, Associate_in_Nursing, BA, BAN, BD, BLitt, BMus, BNS, BS, BSArch, Bachelor_of_Arts, Bachelor_of_Arts_in_Library_Science, Bachelor_of_Arts_in_Nursing, Bachelor_of_Divinity, Bachelor_of_Laws, Bachelor_of_Literature, Bachelor_of_Medicine, Bachelor_of_Music, Bachelor_of_Naval_Science, Bachelor_of_Science, Bachelor_of_Science_in_Architecture, Bachelor_of_Science_in_Engineering, Bachelor_of_Theology, Constitution, Constitution_of_the_United_States, DD, DDS, DEd, DMD, DMus, DO, DPH, DPhil, Declaration_of_Independence, Doctor_of_Dental_Medicine, Doctor_of_Dental_Surgery, Doctor_of_Divinity, Doctor_of_Education, Doctor_of_Medicine...

appearance as argument number 1
-------------------------


(documentation Certificate ChineseLanguage "这是一篇赋予持有 Certificate 者权利或义务的 Text。注:所涉及的权利或义务不需要是有法律根据的,就以学术文凭为例,它能在专业圈授予某种特权。") chinese_format.kif 3570-3571
(documentation Certificate EnglishLanguage "A Text that confers a right or obligation on the holder of the Certificate. Note that the right or obligation need not be a legal one, as in the case of an academic diploma that grants certain privileges in the professional world.") Merge.kif 15380-15383
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Marriage_certificate.png") pictureList.kif 2771-2771
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Ca_dp_certificate.jpg") pictureList.kif 2775-2775
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Load_Line_Certificate.jpg") pictureList.kif 2774-2774
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ c/ cf/ Cold_War_certificate_sample.jpg") pictureList.kif 2772-2772
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/en/b/b7/ SheepskinDiploma.jpg") pictureList.kif 2653-2653
(subclass Certificate Text) Merge.kif 15379-15379 Certificate is a subclass of text

appearance as argument number 2
-------------------------


(subclass AcademicDegree Certificate) Mid-level-ontology.kif 16005-16005 Academic degree is a subclass of certificate
(subclass FinancialInstrument Certificate) Merge.kif 15392-15392 Financial instrument is a subclass of certificate
(subclass InsurancePolicy Certificate) Mid-level-ontology.kif 16390-16390 Insurance policy is a subclass of certificate
(subclass License Certificate) Mid-level-ontology.kif 16019-16019 License is a subclass of certificate
(subclass PassCertificate Certificate) Mid-level-ontology.kif 16072-16072 Pass certificate is a subclass of certificate
(subclass Patent Certificate) Merge.kif 15405-15405 Patent is a subclass of certificate
(subclass Testament Certificate) Mid-level-ontology.kif 16086-16086 Testament is a subclass of certificate
(subclass Ticket Certificate) Mid-level-ontology.kif 16032-16032 Ticket is a subclass of certificate
(subclass VehicleRegistration Certificate) Transportation.kif 3100-3100 Vehicle registration is a subclass of certificate
(termFormat ChineseLanguage Certificate "证书") chinese_format.kif 1045-1045
(termFormat EnglishLanguage Certificate "certificate") english_format.kif 1301-1301

appearance as argument number 3
-------------------------


(domain issuedBy 1 Certificate) Mid-level-ontology.kif 15992-15992 The number 1 argument of issued by is an instance of certificate
(domain signedBy 1 Certificate) FinancialOntology.kif 277-277 The number 1 argument of signed by is an instance of certificate

antecedent
-------------------------


(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))
Merge.kif 15385-15390


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners