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
-------------------------


s__documentation(s__Certificate,s__ChineseLanguage,'"这是一篇赋予持有 Certificate 者权利或义务的 Text。注:所涉及的权利或义务不需要是有法律根据的,就以学术文凭为例,它能在专业圈授予某种特权。"')

chinese_format.kif 3570-3571
s__documentation(s__Certificate,s__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 14965-14968
s__externalImage(s__Certificate,'"http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Marriage_certificate.png"')

pictureList.kif 2771-2771
s__externalImage(s__Certificate,'"http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Ca_dp_certificate.jpg"')

pictureList.kif 2775-2775
s__externalImage(s__Certificate,'"http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Load_Line_Certificate.jpg"')

pictureList.kif 2774-2774
s__externalImage(s__Certificate,'"http://upload.wikimedia.org/wikipedia/commons/ c/ cf/ Cold_War_certificate_sample.jpg"')

pictureList.kif 2772-2772
s__externalImage(s__Certificate,'"http://upload.wikimedia.org/wikipedia/en/b/b7/ SheepskinDiploma.jpg"')

pictureList.kif 2653-2653
s__instance(s__Certificate,s__Class)

s__subclass(s__Certificate,s__Text)

s__instance(s__Text,s__Class)

Merge.kif 14964-14964 Certificate is a subclass of text

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


s__instance(s__Certificate,s__Class)

s__subclass(s__AcademicDegree,s__Certificate)

s__instance(s__AcademicDegree,s__Class)

Mid-level-ontology.kif 15651-15651 Academic degree is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__subclass(s__FinancialInstrument,s__Certificate)

s__instance(s__FinancialInstrument,s__Class)

Merge.kif 14977-14977 Financial instrument is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__instance(s__InsurancePolicy,s__Class)

s__subclass(s__InsurancePolicy,s__Certificate)

Mid-level-ontology.kif 15997-15997 Insurance policy is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__instance(s__License,s__Class)

s__subclass(s__License,s__Certificate)

Mid-level-ontology.kif 15665-15665 License is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__instance(s__PassCertificate,s__Class)

s__subclass(s__PassCertificate,s__Certificate)

Mid-level-ontology.kif 15718-15718 Pass certificate is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__subclass(s__Patent,s__Certificate)

s__instance(s__Patent,s__Class)

Merge.kif 14990-14990 Patent is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__subclass(s__Testament,s__Certificate)

s__instance(s__Testament,s__Class)

Mid-level-ontology.kif 15732-15732 Testament is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__instance(s__Ticket,s__Class)

s__subclass(s__Ticket,s__Certificate)

Mid-level-ontology.kif 15678-15678 Ticket is a subclass of certificate
s__instance(s__Certificate,s__Class)

s__subclass(s__VehicleRegistration,s__Certificate)

s__instance(s__VehicleRegistration,s__Class)

Transportation.kif 3108-3108 Vehicle registration is a subclass of certificate
s__termFormat(s__ChineseLanguage,s__Certificate,'"证书"')

chinese_format.kif 1045-1045
s__termFormat(s__EnglishLanguage,s__Certificate,'"certificate"')

english_format.kif 1306-1306

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


s__domain(s__issuedBy__m,n__1,s__Certificate)

Mid-level-ontology.kif 15638-15638 The number 1 argument of issued by is an instance of certificate
s__domain(s__signedBy__m,n__1,s__Certificate)

FinancialOntology.kif 277-277 The number 1 argument of signed by is an instance of certificate

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


No TPTP formula. May not be expressible in strict first order. Merge.kif 14970-14975


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