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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Certificate
Certificate(证书)
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 15769-15772
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Marriage_certificate.png") pictureList.kif 2769-2769
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Ca_dp_certificate.jpg") pictureList.kif 2773-2773
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Load_Line_Certificate.jpg") pictureList.kif 2772-2772
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ c/ cf/ Cold_War_certificate_sample.jpg") pictureList.kif 2770-2770
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/en/b/b7/ SheepskinDiploma.jpg") pictureList.kif 2651-2651
(subclass Certificate Text) Merge.kif 15768-15768 证书 是 文本 的 subclass

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


(subclass AcademicDegree Certificate) Mid-level-ontology.kif 17917-17917 学位 是 证书 的 subclass
(subclass BirthCertificate Certificate) Biography.kif 242-242 出生证明 是 证书 的 subclass
(subclass DeathCertificate Certificate) Biography.kif 272-272 DeathCertificate 是 证书 的 subclass
(subclass FinancialInstrument Certificate) Merge.kif 15781-15781 金融工具 是 证书 的 subclass
(subclass InsurancePolicy Certificate) Mid-level-ontology.kif 18303-18303 保险政策 是 证书 的 subclass
(subclass License Certificate) Mid-level-ontology.kif 17931-17931 执照 是 证书 的 subclass
(subclass MarriageCertificate Certificate) Biography.kif 305-305 MarriageCertificate 是 证书 的 subclass
(subclass PassCertificate Certificate) Mid-level-ontology.kif 17984-17984 通过证书 是 证书 的 subclass
(subclass Patent Certificate) Merge.kif 15794-15794 专利 是 证书 的 subclass
(subclass Testament Certificate) Mid-level-ontology.kif 17998-17998 遗嘱 是 证书 的 subclass
(subclass Ticket Certificate) Mid-level-ontology.kif 17944-17944 票 是 证书 的 subclass
(subclass VaccinationCard Certificate) Medicine.kif 3104-3104 VaccinationCard 是 证书 的 subclass
(subclass VehicleRegistration Certificate) Transportation.kif 4005-4005 车辆登记 是 证书 的 subclass
(termFormat ChineseLanguage Certificate "证书") chinese_format.kif 1045-1045 车辆登记 是 证书 的 subclass
(termFormat EnglishLanguage Certificate "certificate") english_format.kif 1301-1301 车辆登记 是 证书 的 subclass
(termFormat FrenchLanguage Certificate "certificat") french_format.kif 723-723 车辆登记 是 证书 的 subclass
(termFormat Hindi Certificate "pramaanpatra") terms-hindi.txt 254-254 车辆登记 是 证书 的 subclass
(termFormat ItalianLanguage Certificate "Certificato") terms-it.txt 257-257 车辆登记 是 证书 的 subclass
(termFormat JapaneseLanguage Certificate "証明書") japanese_format.kif 2407-2407 车辆登记 是 证书 的 subclass
(termFormat PortugueseLanguage Certificate "Certificado") portuguese_format.kif 675-675 车辆登记 是 证书 的 subclass
(termFormat cb Certificate "sertipiko") terms-cb.txt 259-259 车辆登记 是 证书 的 subclass
(termFormat cz Certificate "certificate") terms-cz.txt 293-293 车辆登记 是 证书 的 subclass
(termFormat de Certificate "Bescheinigung") terms-de.txt 552-552 车辆登记 是 证书 的 subclass
(termFormat ro Certificate "certificat") relations-ro.kif 744-744 车辆登记 是 证书 的 subclass

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 17904-17904 发行由 的 1 数量 是 证书 的 instance
(domain signedBy 1 Certificate) FinancialOntology.kif 279-279 签名由 的 1 数量 是 证书 的 instance

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


(=>
    (instance ?DOC Certificate)
    (exists (?PROP ?NORM)
        (or
            (confersNorm ?DOC ?PROP ?NORM)
            (deprivesNorm ?DOC ?PROP ?NORM))))		 Merge.kif 15774-15779


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