Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
| appearance as argument number 1 |
|
|
| (subclass Certificate Text) | Merge.kif 15917-15917 | Certificate is a subclass of text |
| (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 15918-15921 | Certificate is a subclass of text |
| (externalImage Certificate "http://upload.wikimedia.org/wikipedia/en/b/b7/ SheepskinDiploma.jpg") | pictureList.kif 2651-2651 | Certificate is a subclass of text |
| (externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 0/ 07/ Marriage_certificate.png") | pictureList.kif 2769-2769 | Certificate is a subclass of text |
| (externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ c/ cf/ Cold_War_certificate_sample.jpg") | pictureList.kif 2770-2770 | Certificate is a subclass of text |
| (externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 5/ 51/ Load_Line_Certificate.jpg") | pictureList.kif 2772-2772 | Certificate is a subclass of text |
| (externalImage Certificate "http://upload.wikimedia.org/wikipedia/commons/ 2/ 25/ Ca_dp_certificate.jpg") | pictureList.kif 2773-2773 | Certificate is a subclass of text |
| appearance as argument number 2 |
|
|
| (subclass FinancialInstrument Certificate) | Merge.kif 15931-15931 | Financial instrument is a subclass of certificate |
| (subclass Patent Certificate) | Merge.kif 15944-15944 | Patent is a subclass of certificate |
| (subclass AcademicDegree Certificate) | Mid-level-ontology.kif 18124-18124 | Academic degree is a subclass of certificate |
| (subclass License Certificate) | Mid-level-ontology.kif 18138-18138 | License is a subclass of certificate |
| (subclass Ticket Certificate) | Mid-level-ontology.kif 18151-18151 | Ticket is a subclass of certificate |
| (subclass PassCertificate Certificate) | Mid-level-ontology.kif 18191-18191 | Pass certificate is a subclass of certificate |
| (subclass Testament Certificate) | Mid-level-ontology.kif 18205-18205 | Testament is a subclass of certificate |
| (subclass InsurancePolicy Certificate) | Mid-level-ontology.kif 18514-18514 | Insurance policy is a subclass of certificate |
| (subclass BirthCertificate Certificate) | Biography.kif 242-242 | Birth certificate is a subclass of certificate |
| (subclass DeathCertificate Certificate) | Biography.kif 272-272 | Death certificate is a subclass of certificate |
| (subclass MarriageCertificate Certificate) | Biography.kif 305-305 | Marriage certificate is a subclass of certificate |
| (subclass VaccinationCard Certificate) | Medicine.kif 3109-3109 | VaccinationCard is a subclass of certificate |
| (subclass VehicleRegistration Certificate) | Transportation.kif 4547-4547 | Vehicle registration is a subclass of certificate |
| (termFormat EnglishLanguage Certificate "certificate") | english_format.kif 1305-1305 | Vehicle registration is a subclass of certificate |
| appearance as argument number 3 |
|
|
| (domain issuedBy 1 Certificate) | Mid-level-ontology.kif 18111-18111 | The number 1 argument of issued by is an instance of certificate |
| (domain signedBy 1 Certificate) | FinancialOntology.kif 279-279 | The number 1 argument of signed by is an instance of certificate |
|
