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

Formal Language: 



Term 1: Term 2:

(subclass DepositAccount FinancialAccount) FinancialOntology.kif 1024-1024 Deposit account is a subclass of financial account
(subclass CheckingAccount DepositAccount) FinancialOntology.kif 1126-1126 Checking account is a subclass of deposit account
(subclass InvestmentAccount DepositAccount) FinancialOntology.kif 1144-1144 Investment account is a subclass of deposit 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