| Mathematician(mathematician) | | 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 | Mathematician is an instance of profession |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Mathematician "mathematician") | domainEnglishFormat.kif 65203-65203 |
| antecedent |
|
|
| (=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) |
Biography.kif 501-503 |
|
|
|
|