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 15680-15683 | |
(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 15679-15679 | Certificate is a subclass of text |
appearance as argument number 2 |
appearance as argument number 3 |
(domain issuedBy 1 Certificate) | Mid-level-ontology.kif 16715-16715 | The number 1 argument of issued by is an instance of certificate |
(domain signedBy 1 Certificate) | FinancialOntology.kif 277-277 | The number 1 argument of signed by is an instance of certificate |
antecedent |
(=> (instance ?DOC Certificate) (exists (?PROP ?NORM) (or (confersNorm ?DOC ?PROP ?NORM) (deprivesNorm ?DOC ?PROP ?NORM)))) |
Merge.kif 15685-15690 |
|