Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  USNonPrescriptionDrug
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Philosophy FieldOfStudy) | Mid-level-ontology.kif 23536-23536 | Philosophy is a subclass of field of study |
| (documentation Philosophy EnglishLanguage "The study of first principles, including epistemology, metaphysics, and ethics.") | Mid-level-ontology.kif 23537-23538 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ 2/ 22/ Wm_james.jpg") | pictureList.kif 6761-6761 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ 4/ 43/ Immanuel_Kant_%28painted_portrait%29.jpg") | pictureList.kif 7526-7526 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ 6/ 65/ Confucius_-_Project_Gutenberg_eText_15250.jpg") | pictureList.kif 7527-7527 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ 7/ 73/ Frans_Hals_-_Portret_van_Ren%C3%A9_Descartes.jpg") | pictureList.kif 7528-7528 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ 8/ 8c/ David_-_The_Death_of_Socrates.jpg") | pictureList.kif 7530-7530 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ 9/ 94/ Sanzio_01.jpg") | pictureList.kif 7531-7531 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ d/ d8/ Thomas_Hobbes_%28portrait%29.jpg") | pictureList.kif 7532-7532 | Philosophy is a subclass of field of study |
| (externalImage Philosophy "http://upload.wikimedia.org/wikipedia/commons/ e/ e3/ St_thomas_aquinas.jpg") | pictureList.kif 7534-7534 | Philosophy is a subclass of field of study |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Philosopher) (hasExpertise ?PERSON Philosophy)) |
Biography.kif 534-536 | If philosopher is an attribute of X, then philosophy has an expertise in X |
|
