TreeView Knowledge Base Browser - lender

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - lender

lender

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1288-1289
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 1287-1287	O argumento numero 2 de lender e' uma instancia de Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1285-1285	lender e' uma instancia de Predicado Binario
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1284-1284	lender e' uma sub-relacao de partyToAgreement

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3738-3738
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3737-3737
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3736-3736
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33953-33953
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33952-33952
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 33951-33951

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1261-1271	borrower Loan and Agente Cognitivo lender Loan and Agente Cognitivo agreementPeriod Loan and Intervalo Temporal interestEarned Loan, Interest and Intervalo Temporal Transacao Financeira Transacao Financeira tem como origem Agente Cognitivo transactionAmount Transacao Financeira and Interest Transacao Financeira termina em Agente Cognitivo
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1491-1495	Loan e' uma instancia de BankTermLoan lender Loan and Agente Cognitivo Agente Cognitivo e' uma instancia de BankFinancialOrganization
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1428-1443	Loan e' uma instancia de CallableLoan lender Loan and Agente Cognitivo borrower Loan and Agente Cognitivo totalBalance Loan and Medida de Divisa Processo e' uma instancia de Call Processo e' um agente de Agente Cognitivo Loan e' um patient de Processo 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 1567-1571	Loan e' uma instancia de DayLoan lender Loan and Agente Cognitivo Agente Cognitivo e' uma instancia de BankFinancialOrganization
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 1291-1296	lender Loan and Agente Cognitivo Processo Processo e' uma instancia de Emprestar Processo e' um agente de Agente Cognitivo

consequent

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
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1588-1590	Entidade e' uma instancia de PiggybankLoan o numero de instancias dentro de a classe descrita por Sequencia Simbolica e' igual a 2
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