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。注:所涉及的权利或义务不需要是有法律根据的,就以学术文凭为例,它能在专业圈授予某种特权。") Merge.kif 20128-20129
(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 20124-20127
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Marriage_certificate.png") pictureList.kif 2771-2771
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Ca_dp_certificate.jpg") pictureList.kif 2775-2775
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Load_Line_Certificate.jpg") pictureList.kif 2774-2774
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ c/ cf/ Cold_War_certificate_sample.jpg") pictureList.kif 2772-2772
(externalImage Certificate "http://upload.wikimedia.org/wikipedia/en/b/b7/ SheepskinDiploma.jpg") pictureList.kif 2653-2653
(subclass Certificate Text) Merge.kif 20123-20123

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


(subclass AcademicDegree Certificate) Mid-level-ontology.kif 14100-14100
(subclass FinancialInstrument Certificate) Merge.kif 20138-20138
(subclass InsurancePolicy Certificate) Mid-level-ontology.kif 14452-14452
(subclass License Certificate) Mid-level-ontology.kif 14114-14114
(subclass PassCertificate Certificate) Mid-level-ontology.kif 14178-14178
(subclass Patent Certificate) Merge.kif 20154-20154
(subclass Testament Certificate) Mid-level-ontology.kif 14192-14192
(subclass Ticket Certificate) Mid-level-ontology.kif 14127-14127
(subclass VehicleRegistration Certificate) Transportation.kif 3045-3045
(termFormat ChineseLanguage Certificate "证书") chinese_format.kif 1045-1045
(termFormat EnglishLanguage Certificate "certificate") english_format.kif 1838-1838
(termFormat JapaneseLanguage Certificate "証明書") english_format.kif 1839-1839

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


(domain issuedBy 1 Certificate) Mid-level-ontology.kif 14087-14087
(domain signedBy 1 Certificate) FinancialOntology.kif 277-277

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


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


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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners