Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

(subclass IndividualRetirementAccount SavingsAccount) FinancialOntology.kif 3384-3384 Individual retirement account is a subclass of savings account
(subclass IndividualRetirementAccount PersonalAccount) FinancialOntology.kif 3385-3385 Individual retirement account is a subclass of personal account
(subclass IndividualRetirementAccount PensionPlan) FinancialOntology.kif 3386-3386 Individual retirement account is a subclass of pension plan
(subclass RothIRAAccount IndividualRetirementAccount) FinancialOntology.kif 3397-3397 RothIRA account is a subclass of individual retirement account


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