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 15365-15368
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 2775-2775
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 2772-2772
No TPTP formula. May not be expressible in strict first order. pictureList.kif 2653-2653
No TPTP formula. May not be expressible in strict first order. Merge.kif 15364-15364 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 15954-15954 Academic degree is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15377-15377 Financial instrument is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16339-16339 Insurance policy is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15968-15968 License is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16021-16021 Pass certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 15390-15390 Patent is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 16035-16035 Testament is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15981-15981 Ticket is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3108-3108 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

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


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 15941-15941 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 15370-15375


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