TreeView Knowledge Base Browser - securedBy

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - securedBy

securedBy

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1328-1329
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1331-1331	O argumento numero 1 de securedBy e' uma instancia de FinancialAccount
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1332-1332	O argumento numero 2 de securedBy e' uma instancia de Collateral
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1330-1330	securedBy e' uma instancia de Predicado Binario

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2243-2243
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2242-2242
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 2241-2241
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51879-51879
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51878-51878
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 51877-51877

antecedent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2397-2406	FinancialAccount e' uma instancia de SecuredBond securedBy FinancialAccount and Collateral AutonomousAgent possui FinancialAccount Processo e' uma instancia de FinancialDefault FinancialAccount e' um patient de Processo AutonomousAgent possui Collateral vale durante imediatemente apos tempo de existencia de Processo
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

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1321-1326	Collateral e' uma instancia de Collateral FinancialAccount FinancialAccount e' uma instancia de SecuredLoan securedBy FinancialAccount and Collateral
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1348-1351	FinancialAccount e' uma instancia de SecuredLoan Collateral securedBy FinancialAccount and Collateral
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1387-1391	Loan e' uma instancia de Mortgage loanForPurchase Loan and Objeto securedBy Loan and Objeto
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 2392-2395	FinancialAccount e' uma instancia de SecuredBond Collateral securedBy FinancialAccount and Collateral

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