| Mathematician(mathematician) | | mathematician |
| appearance as argument number 1 |
|
|
| (documentation Mathematician EnglishLanguage "A person skilled in Mathematics.") | Biography.kif 507-507 | |
| (instance Mathematician Profession) | Biography.kif 506-506 | Mathematician is an instance of profession |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage Mathematician "mathematician") | domainEnglishFormat.kif 65178-65178 |
| antecedent |
|
|
| (=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) |
Biography.kif 509-511 |
|
|
|
|