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

KB Term:  Term intersection
English Word: 

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 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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners