TreeView Knowledge Base Browser

appearance as argument number 1

(instance Actuary Profession)	Biography.kif 360-360	Actuary is an instance of profession
(subAttribute Actuary Scientist)	Biography.kif 361-361	Actuary is a subattribute of scientist
(documentation Actuary EnglishLanguage "An actuary is a business professional who deals with ActuaryScience, the financial impact of risk and uncertainty.")	Biography.kif 362-363	Actuary is a subattribute of scientist

appearance as argument number 2

(termFormat EnglishLanguage Actuary "actuary")	domainEnglishFormat.kif 5389-5389
(termFormat ChineseTraditionalLanguage Actuary "精算師")	domainEnglishFormat.kif 5390-5390
(termFormat ChineseLanguage Actuary "精算师")	domainEnglishFormat.kif 5391-5391

antecedent

(=>
(attribute ?PERSON Actuary)
(hasExpertise ?PERSON ActuaryScience))

If actuary is an attribute of X, then actuarial science has an expertise in X