Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| Librarian(librarian) |  | bibliothec, librarian |
| appearance as argument number 1 |
|
|
| (instance Librarian Profession) | Biography.kif 568-568 | Librarian is an instance of profession |
| (subAttribute Librarian Scientist) | Biography.kif 569-569 | Librarian is a subattribute of scientist |
| (documentation Librarian EnglishLanguage "A professional person trained in library science and engaged in Library services.") | Biography.kif 570-570 | Librarian is a subattribute of scientist |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Librarian "librarian") | domainEnglishFormat.kif 65115-65115 |
| antecedent |
|
|
| (=> (attribute ?PERSON Librarian) (hasExpertise ?PERSON LibraryScience)) |
Biography.kif 572-574 | If librarian is an attribute of X, then Library Science has an expertise in X |
|