TreeView Knowledge Base Browser - Loan

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Loan

Sigma KEE - Loan

Loan

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1250-1252
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1249-1249	Loan e' uma sub-classe de LiabilityAccount

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1406-1406	BalloonLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1488-1488	BankTermLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1504-1504	BridgeLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1508-1508	BrokerLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1425-1425	CallableLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1519-1519	ConsolidationLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1563-1563	DayLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1603-1603	EvergreenLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1606-1606	IndexedLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1610-1610	InterestOnlyLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1585-1585	PiggybankLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1345-1345	SecuredLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1592-1592	SinglePaymentLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1353-1353	UnsecuredLoan e' uma sub-classe de Loan
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34811-34811
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34810-34810
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 34809-34809

appearance as argument number 3

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1300-1300	O argumento numero 1 de borrower e' uma instancia de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 802-802	O argumento numero 1 de downPayment e' uma instancia de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 797-797	O argumento numero 1 de floorLoan e' uma instancia de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1286-1286	O argumento numero 1 de lender e' uma instancia de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 4157-4157	O argumento numero 1 de loanFeeAmount e' uma instancia de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1312-1312	O argumento numero 1 de loanForPurchase e' uma instancia de Loan
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3917-3917	O argumento numero 1 de loanInterest e' uma instancia de Loan

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 3920-3926	Intervalo Temporal Loan e' uma instancia de Loan agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal loanInterest Loan and Interest
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1273-1282	Loan e' uma instancia de Loan borrower Loan and Agente Cognitivo principalAmount Loan and Numero Real agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal Numero Real e' igual a ( Numero Real + Interest) Agente Cognitivo e' obrigado a executar tarefas de tipo a classe descrita por Sequencia Simbolica
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1399-1404	Intervalo Temporal e' uma instancia de Loan Ponto no tempo e' igual a o comeco de Intervalo Temporal totalBalance Intervalo Temporal and Medida de Divisa currentAccountBalance Intervalo Temporal, Ponto no tempo and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1334-1343	Loan e' uma instancia de Loan securedBy Loan and Collateral lender Loan and Agente Cognitivo Processo e' uma instancia de FinancialDefault Loan e' um patient de Processo Agente Cognitivo possui Collateral vale durante imediatemente apos tempo de existencia de Processo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	Processo e' uma instancia de Refinancing Processo existe durante Dia Loan e' uma instancia de Loan securedBy Loan and Collateral borrower Loan and Agente Cognitivo currentAccountBalance Loan, Dia and Medida de Divisa Loan e' um patient de Processo Loan Transacao Financeira Loan e' uma instancia de Loan borrower Loan and Agente Cognitivo securedBy Loan and Collateral Transacao Financeira termina em CurrencyFn Loan Transacao Financeira existe durante Dia Transacao Financeira tem como origem CurrencyFn Loan transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1254-1259	Loan e' uma instancia de Loan Agente Cognitivo Agente Cognitivo borrower Loan and Agente Cognitivo lender Loan and Agente Cognitivo

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1449-1466	Processo e' uma instancia de Refinancing Processo existe durante Dia Loan e' uma instancia de Loan securedBy Loan and Collateral borrower Loan and Agente Cognitivo currentAccountBalance Loan, Dia and Medida de Divisa Loan e' um patient de Processo Loan Transacao Financeira Loan e' uma instancia de Loan borrower Loan and Agente Cognitivo securedBy Loan and Collateral Transacao Financeira termina em CurrencyFn Loan Transacao Financeira existe durante Dia Transacao Financeira tem como origem CurrencyFn Loan transactionAmount Transacao Financeira and Medida de Divisa
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1523-1532	FinancialAccount e' uma instancia de ConsolidationLoan FinancialAccount1 FinancialAccount2, Processo and Processo FinancialAccount1 e' uma instancia de Loan FinancialAccount2 e' uma instancia de Loan Processo termina em CurrencyFn FinancialAccount1 Processo termina em CurrencyFn FinancialAccount2 Processo tem como origem CurrencyFn FinancialAccount Processo tem como origem CurrencyFn FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1473-1481	Agente Cognitivo tem um atributo de LoanCommitment Loan Agreement and Agreement Loan e' uma instancia de Loan lender Loan and Agreement borrower Loan and Agreement partyToAgreement Agente Cognitivo and Agreement partyToAgreement Agente Cognitivo and Agreement

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