more pictures...
| 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 15656-15659 | |
| (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 15655-15655 | 証明書 は テキスト の subclass では %n |
| appearance as argument number 2 |
|
|
| (subclass AcademicDegree Certificate) | Mid-level-ontology.kif 16509-16509 | AcademicDegree は 証明書 の subclass では %n |
| (subclass BirthCertificate Certificate) | Biography.kif 236-236 | BirthCertificate は 証明書 の subclass では %n |
| (subclass DeathCertificate Certificate) | Biography.kif 266-266 | DeathCertificate は 証明書 の subclass では %n |
| (subclass FinancialInstrument Certificate) | Merge.kif 15668-15668 | FinancialInstrument は 証明書 の subclass では %n |
| (subclass InsurancePolicy Certificate) | Mid-level-ontology.kif 16895-16895 | InsurancePolicy は 証明書 の subclass では %n |
| (subclass License Certificate) | Mid-level-ontology.kif 16523-16523 | License は 証明書 の subclass では %n |
| (subclass MarriageCertificate Certificate) | Biography.kif 298-298 | MarriageCertificate は 証明書 の subclass では %n |
| (subclass PassCertificate Certificate) | Mid-level-ontology.kif 16576-16576 | PassCertificate は 証明書 の subclass では %n |
| (subclass Patent Certificate) | Merge.kif 15681-15681 | 特許 は 証明書 の subclass では %n |
| (subclass Testament Certificate) | Mid-level-ontology.kif 16590-16590 | Testament は 証明書 の subclass では %n |
| (subclass Ticket Certificate) | Mid-level-ontology.kif 16536-16536 | Ticket は 証明書 の subclass では %n |
| (subclass VaccinationCard Certificate) | Medicine.kif 3103-3103 | VaccinationCard は 証明書 の subclass では %n |
| (subclass VehicleRegistration Certificate) | Transportation.kif 3101-3101 | VehicleRegistration は 証明書 の subclass では %n |
| (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 16496-16496 | issuedBy の数値 1 引数は 証明書 の instance では %n |
| (domain signedBy 1 Certificate) | FinancialOntology.kif 277-277 | signedBy の数値 1 引数は 証明書 の instance では %n |
| antecedent |
|
|
| (=> (instance ?DOC Certificate) (exists (?PROP ?NORM) (or (confersNorm ?DOC ?PROP ?NORM) (deprivesNorm ?DOC ?PROP ?NORM)))) |
Merge.kif 15661-15666 |
|
|
|