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 14515-14518
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 14514-14514 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 14127-14127 Academic degree is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14527-14527 Financial instrument is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14479-14479 Insurance policy is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14141-14141 License is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14205-14205 Pass certificate is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Merge.kif 14540-14540 Patent is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14219-14219 Testament is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 14154-14154 Ticket is a subclass of certificate
No TPTP formula. May not be expressible in strict first order. Transportation.kif 3079-3079 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 1306-1306

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


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


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