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 354-355
(instance Actuary Profession) Biography.kif 352-352
(subAttribute Actuary Scientist) Biography.kif 353-353

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


(termFormat ChineseLanguage Actuary "精算师") domainEnglishFormat.kif 5382-5382
(termFormat ChineseTraditionalLanguage Actuary "精算師") domainEnglishFormat.kif 5381-5381
(termFormat EnglishLanguage Actuary "actuary") domainEnglishFormat.kif 5380-5380

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


(=>
    (attribute ?PERSON Actuary)
    (hasExpertise ?PERSON ActuaryScience))
Biography.kif 357-359


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