Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  FinancialAccount

Sigma KEE - FinancialAccount
FinancialAccount

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 e' uma sub-classe de Account
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 58-58 FinancialAccount e' uma sub-classe de Agreement

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2317-2317 O contra-dominio de AccountFn e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1013-1013 CorporateAccount e' uma sub-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1024-1024 DepositAccount e' uma sub-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 968-968 InterestBearingAccount e' uma sub-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1159-1159 LiabilityAccount e' uma sub-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1173-1173 PensionPlan e' uma sub-classe de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 992-992 PersonalAccount e' uma sub-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 O argumento numero 1 de CurrencyFn e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 230-230 O argumento numero 1 de accountAt e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 249-249 O argumento numero 1 de accountHolder e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3439-3439 O argumento numero 1 de accountNumber e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3999-3999 O argumento numero 1 de accountStatus e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4013-4013 O argumento numero 1 de administrator e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 649-649 O argumento numero 1 de amountDue e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3807-3807 O argumento numero 1 de availableBalance e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3830-3830 O argumento numero 1 de availableCash e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4091-4091 O argumento numero 1 de buyingPowerAmount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 237-237 O argumento numero 2 de cardAccount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 243-243 O argumento numero 2 de checkAccount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 552-552 O argumento numero 1 de compoundInterest e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3871-3871 O argumento numero 1 de creditsPerPeriod e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 672-672 O argumento numero 1 de currentAccountBalance e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 614-614 O argumento numero 1 de currentInterestRate e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3990-3990 O argumento numero 1 de dailyLimit e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3801-3801 O argumento numero 1 de financialAccount e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 621-621 O argumento numero 1 de fixedInterestRate e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 522-522 O argumento numero 1 de interestEarned e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 580-580 O argumento numero 1 de interestRatePerPeriod e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3898-3898 O argumento numero 1 de lastStatement e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4039-4039 O argumento numero 1 de lastStatementBalance e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1813-1813 O argumento numero 1 de liquidity e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4100-4100 O argumento numero 1 de marginBalanceAmount e' uma instancia 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 e' uma instancia de FinancialAccount Agente Cognitivo possui FinancialAsset FinancialAccount e' igual a AccountFn FinancialAsset accountHolder FinancialAccount and Agente Cognitivo
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1818-1828 Processo e' uma instancia de Withdrawal FinancialAccount e' uma instancia de FinancialAccount Processo tem como origem CurrencyFn FinancialAccount Processo Processo e' uma instancia de Penalty Processo termina em CurrencyFn FinancialAccount Processo causa Processo liquidity FinancialAccount and HighLiquidity
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 76-84
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 686-699
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 701-714
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 436-453
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 408-424
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 466-481
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 120-135
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 834-842
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 63-67
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 69-74

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 188-196
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 391-401
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 293-306
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 459-464
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3903-3905


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