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 362-363
(instance Actuary Profession) Biography.kif 360-360
(subAttribute Actuary Scientist) Biography.kif 361-361

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 365-367


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