Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
  Theologian
|
|
|
| appearance as argument number 1 |
|
|
| (instance Theologian Profession) | Biography.kif 598-598 | Theologian is an instance of profession |
| (documentation Theologian EnglishLanguage "Someone who is learned in Theology or who speculates about theology.") | Biography.kif 599-599 | Theologian is an instance of profession |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Theologian "theologian") | domainEnglishFormat.kif 65603-65603 |
| antecedent |
|
|
| (=> (attribute ?PERSON Theologian) (hasExpertise ?PERSON Theology)) |
Biography.kif 601-603 | If theologian is an attribute of X, then theology has an expertise in X |
|