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 65155-65155 |
antecedent |
(=> (attribute ?PERSON Mathematician) (hasExpertise ?PERSON Mathematics)) |
Biography.kif 501-503 |
|