TreeView Knowledge Base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 59-61
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10017-10017
No TPTP formula. May not be expressible in strict first order.	ComputingBrands.kif 4541-4541	FinancialAccount est une sous-classe de Account
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 58-58	FinancialAccount est une sous-classe de Agreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2317-2317	Le domaine de AccountFn est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1013-1013	CorporateAccount est une sous-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1024-1024	DepositAccount est une sous-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 968-968	InterestBearingAccount est une sous-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1159-1159	LiabilityAccount est une sous-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1173-1173	PensionPlan est une sous-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 992-992	PersonalAccount est une sous-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23732-23732
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23731-23731
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 23730-23730

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 283-283	Le nombre 1 argument de CurrencyFn est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 230-230	Le nombre 1 argument de accountAt est une instance de FinancialAccount
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 3439-3439	Le nombre 1 argument de accountNumber est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3999-3999	Le nombre 1 argument de accountStatus est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4013-4013	Le nombre 1 argument de administrator est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 649-649	Le nombre 1 argument de amountDue est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3807-3807	Le nombre 1 argument de availableBalance est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3830-3830	Le nombre 1 argument de availableCash est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4091-4091	Le nombre 1 argument de buyingPowerAmount est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 237-237	Le nombre 2 argument de cardAccount est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 243-243	Le nombre 2 argument de checkAccount est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 552-552	Le nombre 1 argument de compoundInterest est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3871-3871	Le nombre 1 argument de creditsPerPeriod est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 672-672	Le nombre 1 argument de currentAccountBalance est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 614-614	Le nombre 1 argument de currentInterestRate est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3990-3990	Le nombre 1 argument de dailyLimit est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3801-3801	Le nombre 1 argument de financialAccount est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 621-621	Le nombre 1 argument de fixedInterestRate est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 522-522	Le nombre 1 argument de interestEarned est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 580-580	Le nombre 1 argument de interestRatePerPeriod est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3898-3898	Le nombre 1 argument de lastStatement est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4039-4039	Le nombre 1 argument de lastStatementBalance est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1813-1813	Le nombre 1 argument de liquidity est une instance de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4100-4100	Le nombre 1 argument de marginBalanceAmount est une instance de FinancialAccount

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

antecedent

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 1818-1828	Processus est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount processus processus est une instance de Penalty processus aboutit � CurrencyFn FinancialAccount processus cause processus liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 76-84	FinancialAccount est une instance de FinancialAccount accountAt FinancialAccount and FinancialOrganization processus processus est une instance de ControllingAnAccount FinancialAccount est un patient de processus processus est un agent de FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 686-699	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, OpeningAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency financial transaction point temporel and nombre r�el financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) nombre r�el est plus grand ou �gal � nombre r�el agreementEffectiveDate FinancialAccount and point temporel la date de financial transaction est point temporel
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 701-714	FinancialAccount est une instance de FinancialAccount minimumBalance FinancialAccount, UsingAnAccount and nombre r�el unit� de mesure(s) unit� de mesure est une instance de UnitOfCurrency currentAccountBalance FinancialAccount, jour and nombre r�el unit� de mesure(s) nombre r�el est moins que nombre r�el processus processus est une instance de Penalty la date de processus est jour processus aboutit � CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 436-453	Financial transaction est une instance de Deposit FinancialAccount est une instance de FinancialAccount financial transaction aboutit � CurrencyFn FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s apr�s financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 408-424	Financial transaction est une instance de Payment financial transaction a pour origine CurrencyFn FinancialAccount FinancialAccount est une instance de FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s temps d'existence de financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 466-481	Financial transaction est une instance de Withdrawal FinancialAccount est une instance de FinancialAccount financial transaction a pour origine FinancialAccount transactionAmount financial transaction and nombre r�el unit� de mesure(s) currentAccountBalance FinancialAccount, immediatement avant temps d'existence de financial transaction and nombre r�el unit� de mesure(s) nombre r�el est nombre r�el + nombre r�el) currentAccountBalance FinancialAccount, immediatement apr�s apr�s financial transaction and nombre r�el unit� de mesure(s)
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 120-135	valeur de objet est mesure de devise processus est une instance de ProcessingACheck objet est un patient de processus processus aboutit � CurrencyFn FinancialAccount FinancialAccount est une instance de FinancialAccount temps d'existence de processus est processusTime financial transaction financial transactionTime financial transaction est une instance de Deposit objet est un instrument pour financial transaction temps d'existence de financial transaction est financial transactionTime processusTime rencontre financial transactionTime transactionAmount financial transaction and mesure de devise financial transaction aboutit � CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 834-842	transactionAmount financial transaction and mesure de devise la date de financial transaction est jour FinancialAccount est une instance de FinancialAccount financial transaction aboutit � CurrencyFn FinancialAccount amountDue FinancialAccount, mesure de devise and interval temporel la fin de jour se produit avant le d�but de interval temporel financial transaction est une instance de Prepayment
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 63-67	Entit� est une instance de FinancialAccount entit� a un attribute FinancialContract entit� a un attribute ServiceContract
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 69-74	FinancialAccount est une instance de FinancialAccount FinancialOrganization FinancialOrganization est une instance de FinancialOrganization accountAt FinancialAccount and FinancialOrganization

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 188-196	BankCard est une instance de BankCard issuedBy BankCard and FinancialOrganization FinancialAccount FinancialAccount est une instance de FinancialAccount cardAccount BankCard and FinancialAccount accountAt FinancialAccount and FinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 391-401	Processus est une instance de ClosingAnAccount entit� est un patient de processus entit� est une instance de FinancialAccount pendant immediatement avant temps d'existence de processus entit� est une instance de FinancialAccount pendant immediatement apr�s temps d'existence de processus
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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 459-464	Processus est une instance de Withdrawal FinancialAccount FinancialAccount est une instance de FinancialAccount processus a pour origine CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3903-3905	lastStatement FinancialAccount and BankStatement FinancialAccount est une instance de FinancialAccount

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

KB Term:			Term intersection

English Word: