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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Certificate

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


No TPTP formula. May not be expressible in strict first order. chinese_format.kif 3570-3571
No TPTP formula. May not be expressible in strict first order. Merge.kif 15634-15637
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2770-2770
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2774-2774
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2773-2773
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2771-2771
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2652-2652
No TPTP formula. May not be expressible in strict first order. Merge.kif 15633-15633 Certificate is a subclass of text

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16510-16510 Academic degree is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Biography.kif 236-236 Birth certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Biography.kif 266-266 DeathCertificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15646-15646 Financial instrument is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16896-16896 Insurance policy is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16524-16524 License is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Biography.kif 298-298 MarriageCertificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16577-16577 Pass certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15659-15659 Patent is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16591-16591 Testament is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16537-16537 Ticket is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3103-3103 VaccinationCard is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3101-3101 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1045-1045
No TPTP formula. May not be expressible in strict first order. english_format.kif 1301-1301
No TPTP formula. May not be expressible in strict first order. french_format.kif 723-723
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 254-254
No TPTP formula. May not be expressible in strict first order. terms-it.txt 257-257
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2407-2407
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 675-675
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 259-259
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 293-293
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 744-744
No TPTP formula. May not be expressible in strict first order. terms-tg.txt 258-258

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16497-16497 The number 1 argument of issued by is an instance of certificate
No TPTP formula. May not be expressible in strict first order. 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 15639-15644


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

Show without tree


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