Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Veterinarian(veterinarian) |  | vet, veterinarian, veterinary, veterinary_surgeon |
| appearance as argument number 1 |
|
|
| (instance Veterinarian Profession) | Biography.kif 605-605 | Veterinarian is an instance of profession |
| (subAttribute Veterinarian Scientist) | Biography.kif 606-606 | Veterinarian is a subattribute of scientist |
| (documentation Veterinarian EnglishLanguage "A doctor who practices veterinary medicine.") | Biography.kif 607-607 | Veterinarian is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Veterinarian "veterinarian") | domainEnglishFormat.kif 65695-65695 |
| antecedent |
|
|
| (=> (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 |
|