|
|
  Mathematician
|
|
|
| appearance as argument number 1 |
|
|
| (documentation Mathematician EnglishLanguage "A person skilled in Mathematics.") | Biography.kif 499-499 | |
| (instance Mathematician Profession) | Biography.kif 498-498 |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Mathematician "mathematician") | domainEnglishFormat.kif 65155-65155 |
| antecedent |
|
|
| (=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) |
Biography.kif 501-503 |
|
|
|