Browsing Interface : Welcome guest : log in 		[  Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

  ActuaryScience

 Sigma KEE - ActuaryScience
ActuaryScience(actuarial science)

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


(subclass ActuaryScience Science) Mid-level-ontology.kif 23379-23379 Actuarial science is a subclass of science
(documentation ActuaryScience EnglishLanguage "Actuarial Science is the discipline that applies mathematical (MathematicalMethod) and statistical methods to assess risk in the insurance (InsuranceCompany) and finance (FinancialCompany) industries.") Mid-level-ontology.kif 23380-23382 Actuarial science is a subclass of science

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


(termFormat EnglishLanguage ActuaryScience "actuarial science") domainEnglishFormat.kif 5395-5395
(termFormat ChineseTraditionalLanguage ActuaryScience "精算科學") domainEnglishFormat.kif 5396-5396
(termFormat ChineseLanguage ActuaryScience "精算科学") domainEnglishFormat.kif 5397-5397

consequent
-------------------------


(=>
    (attribute ?PERSON Actuary)
    (hasExpertise ?PERSON ActuaryScience))		 Biography.kif 365-367 If actuary is an attribute of X, then actuarial science has an expertise in X


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

Show without tree

Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners