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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Certificate

Sigma KEE - Certificate
Certificate(certificat)
more pictures...

appearance as argument number 1
-------------------------


(documentation Certificate ChineseLanguage "这是一篇赋予持有 Certificate 者权利或义务的 Text。注:所涉及的权利或义务不需要是有法律根据的,就以学术文凭为例,它能在专业圈授予某种特权。") chinese_format.kif 3570-3571
(documentation Certificate 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 15634-15637
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Marriage_certificate.png") pictureList.kif 2770-2770
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Ca_dp_certificate.jpg") pictureList.kif 2774-2774
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Load_Line_Certificate.jpg") pictureList.kif 2773-2773
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ c/ cf/ Cold_War_certificate_sample.jpg") pictureList.kif 2771-2771
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/en/b/b7/ SheepskinDiploma.jpg") pictureList.kif 2652-2652
(subclass Certificate Text) Merge.kif 15633-15633 Certificat est une sous-classe de texte

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


(subclass AcademicDegree Certificate) Mid-level-ontology.kif 16510-16510 AcademicDegree est une sous-classe de certificat
(subclass BirthCertificate Certificate) Biography.kif 236-236 BirthCertificate est une sous-classe de certificat
(subclass DeathCertificate Certificate) Biography.kif 266-266 DeathCertificate est une sous-classe de certificat
(subclass FinancialInstrument Certificate) Merge.kif 15646-15646 FinancialInstrument est une sous-classe de certificat
(subclass InsurancePolicy Certificate) Mid-level-ontology.kif 16896-16896 InsurancePolicy est une sous-classe de certificat
(subclass License Certificate) Mid-level-ontology.kif 16524-16524 License est une sous-classe de certificat
(subclass MarriageCertificate Certificate) Biography.kif 298-298 MarriageCertificate est une sous-classe de certificat
(subclass PassCertificate Certificate) Mid-level-ontology.kif 16577-16577 PassCertificate est une sous-classe de certificat
(subclass Patent Certificate) Merge.kif 15659-15659 Brevet est une sous-classe de certificat
(subclass Testament Certificate) Mid-level-ontology.kif 16591-16591 Testament est une sous-classe de certificat
(subclass Ticket Certificate) Mid-level-ontology.kif 16537-16537 Ticket est une sous-classe de certificat
(subclass VaccinationCard Certificate) Medicine.kif 3103-3103 VaccinationCard est une sous-classe de certificat
(subclass VehicleRegistration Certificate) Transportation.kif 3101-3101 VehicleRegistration est une sous-classe de certificat
(termFormat ChineseLanguage Certificate "证书") chinese_format.kif 1045-1045
(termFormat EnglishLanguage Certificate "certificate") english_format.kif 1301-1301
(termFormat FrenchLanguage Certificate "certificat") french_format.kif 723-723
(termFormat Hindi Certificate "pramaanpatra") terms-hindi.txt 254-254
(termFormat ItalianLanguage Certificate "Certificato") terms-it.txt 257-257
(termFormat JapaneseLanguage Certificate "証明書") japanese_format.kif 2407-2407
(termFormat PortugueseLanguage Certificate "Certificado") portuguese_format.kif 675-675
(termFormat cb Certificate "sertipiko") terms-cb.txt 259-259
(termFormat cz Certificate "certificate") terms-cz.txt 293-293
(termFormat ro Certificate "certificat") relations-ro.kif 744-744
(termFormat tg Certificate "katibayan") 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
-------------------------


(domain issuedBy 1 Certificate) Mid-level-ontology.kif 16497-16497 Le nombre 1 argument de issuedBy est une instance de certificat
(domain signedBy 1 Certificate) FinancialOntology.kif 277-277 Le nombre 1 argument de signedBy est une instance de certificat

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


(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))
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