TreeView Knowledge Base Browser - accountHolder

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - accountHolder

accountHolder

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 251-252
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 249-249	Le nombre 1 argument de accountHolder est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 250-250	Le nombre 2 argument de accountHolder est une instance de agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 248-248	accountHolder est une instance de pr�dicat binaire
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 247-247	accountHolder est une sous-relation de partyToAgreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2682-2682
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2681-2681
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2680-2680
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5250-5250
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5249-5249
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 5248-5248

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1018-1022	accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de corporation FinancialAccount est une instance de CorporateAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 996-1000	accountHolder FinancialAccount and agent cognitif agent cognitif est une instance de humain FinancialAccount est une instance de PersonalAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1007-1011	Entit� est une instance de PersonalAccount le nombre d' instances dans la classe d�crite par cha�ne sympbolique est plus grand que 1 entit� est une instance de JointAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3621-3625	accountHolder FinancialAccount and agent cognitif accountAt FinancialAccount and FinancialOrganization customer agent cognitif and FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 655-667	amountDue FinancialAccount, mesure de devise and position temporel accountHolder FinancialAccount and agent cognitif agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1212-1222	FinancialAccount est une instance de CreditAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and agent cognitif interestEarned FinancialAccount, Interest and interval temporel financial transaction financial transaction a pour origine agent cognitif transactionAmount financial transaction and Interest financial transaction aboutit � FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1224-1233	FinancialAccount est une instance de CreditAccount accountHolder FinancialAccount and agent cognitif principalAmount FinancialAccount and nombre r�el agreementPeriod FinancialAccount and interval temporel interestEarned FinancialAccount, Interest and interval temporel nombre r�el est nombre r�el + Interest) agent cognitif est oblig� d'ex�cut� des t�ches du type la classe d�crite par cha�ne sympbolique
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1162-1171	FinancialAccount est une instance de LiabilityAccount accountHolder FinancialAccount and Agreement accountAt FinancialAccount and Agreement agent cognitif agent cognitif a un attribute Liability partyToAgreement agent cognitif and Agreement partyToAgreement agent cognitif and Agreement
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1043-1052	FinancialAccount est une instance de SavingsAccount accountHolder FinancialAccount and agent cognitif interestEarned FinancialAccount, Interest and interval temporel financial transaction financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and Interest financial transaction aboutit � agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1180-1185	FinancialAccount est une instance de PensionPlan accountHolder FinancialAccount and agent cognitif FinancialCompany emploie agent cognitif financialAccount FinancialAccount and FinancialCompany
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1192-1207	FinancialAccount est une instance de ProfitSharingPlan accountHolder FinancialAccount and agent cognitif AutonomousAgent emploie agent cognitif profit financial transaction and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction est un agent de AutonomousAgent nombre r�el nombre r�elAY nombre r�elAY est une instance de financial transaction transactionAmount nombre r�elAY and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el nombre r�elAY aboutit � FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 311-316	Processus est une instance de UsingAnAccount FinancialAccount est un patient de processus accountHolder FinancialAccount and agent cognitif processus est un agent de agent cognitif

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2321-2326	FinancialAccount est une instance de FinancialAccount agent cognitif poss�de FinancialAsset FinancialAccount est AccountFn FinancialAsset accountHolder FinancialAccount and agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 218-226	BankCard est une instance de CreditCard agent cognitif poss�de BankCard FinancialAccount FinancialAccount est une instance de CreditCardAccount cardAccount BankCard and FinancialAccount accountHolder FinancialAccount and agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 203-211	BankCard est une instance de DebitCard agent cognitif poss�de BankCard FinancialAccount FinancialAccount est une instance de DepositAccount cardAccount BankCard and FinancialAccount accountHolder FinancialAccount and agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 321-327	Processus est une instance de DrawingACheck Check est un patient de processus processus est un agent de agent cognitif checkAccount Check and FinancialAccount accountHolder FinancialAccount and agent cognitif
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 293-306	Processus est une instance de OpeningAnAccount eventLocated processus and FinancialOrganization FinancialOrganization est une instance de FinancialOrganization processus est un agent de agent cognitif temps d'existence de processus est processusTime FinancialAccount FinancialAccountPeriod agreementPeriod FinancialAccount and FinancialAccountPeriod processusTime rencontre FinancialAccountPeriod FinancialAccount est une instance de FinancialAccount accountAt FinancialAccount and FinancialOrganization accountHolder FinancialAccount and agent cognitif

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 is open source software produced by Articulate Software and its partners