Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Actuary
Actuary

appearance as argument number 1
-------------------------


(documentation Actuary EnglishLanguage "An actuary is a business professional who deals with ActuaryScience, the financial impact of risk and uncertainty.") Biography.kif 121-121
(instance Actuary Profession) Biography.kif 119-119
(subAttribute Actuary Scientist) Biography.kif 120-120

appearance as argument number 2
-------------------------


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

antecedent
-------------------------


(=>
    (attribute ?PERSON Actuary)
    (hasExpertise ?PERSON ActuaryScience))
Biography.kif 123-125


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0 is open source software produced by Articulate Software and its partners