Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| VeterinaryScience(veterinary medicine) |  | veterinary_medicine |
| appearance as argument number 1 |
|
|
| (subField VeterinaryScience MedicalScience) | Mid-level-ontology.kif 23450-23450 | Veterinary medicine is a sub-field of medical science |
| (subclass VeterinaryScience Science) | Mid-level-ontology.kif 23451-23451 | Veterinary medicine is a subclass of science |
| (documentation VeterinaryScience EnglishLanguage "is the branch of science that deals with the application of medical, surgical, public health, dental, diagnostic, and therapeutic principles to non-human animals, including wildlife and domesticated animals.") | Mid-level-ontology.kif 23452-23454 | Veterinary medicine is a subclass of science |
| appearance as argument number 2 |
|
|
| consequent |
|
|
| (=> (attribute ?PERSON Veterinarian) (hasExpertise ?PERSON VeterinaryScience)) |
Biography.kif 609-611 | If veterinarian is an attribute of X, then veterinary medicine has an expertise in X |
|