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


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 15784-15787
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2769-2769
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 2772-2772
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 2651-2651
No TPTP formula. May not be expressible in strict first order. Merge.kif 15783-15783 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 17897-17897 Academic degree is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Biography.kif 242-242 Birth certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Biography.kif 272-272 Death certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15796-15796 Financial instrument is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18283-18283 Insurance policy is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17911-17911 License is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Biography.kif 305-305 Marriage certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17964-17964 Pass certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15809-15809 Patent is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17978-17978 Testament is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 17924-17924 Ticket is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Medicine.kif 3104-3104 VaccinationCard is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 4007-4007 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. chinese_format.kif 1045-1045 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. english_format.kif 1301-1301 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. french_format.kif 723-723 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. terms-hindi.txt 254-254 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. terms-it.txt 257-257 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. japanese_format.kif 2407-2407 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. portuguese_format.kif 675-675 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. terms-cb.txt 259-259 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. terms-cz.txt 293-293 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. terms-de.txt 552-552 Vehicle registration is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. relations-ro.kif 744-744 Vehicle registration is a subclass of certificate

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 17884-17884 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 279-279 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 15789-15794


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