| appearance as argument number 1 |
|
| s__documentation(s__borrower__m,s__EnglishLanguage,'"(borrower ?Loan ?Agent) means that ?Agent is a borrower of the ?Loan"')
|
FinancialOntology.kif 1256-1256 | |
| s__domain(s__borrower__m,n__1,s__Loan)
|
FinancialOntology.kif 1254-1254 | The number 1 argument of borrower is an instance of loan |
| s__domain(s__borrower__m,n__2,s__CognitiveAgent)
|
FinancialOntology.kif 1255-1255 | The number 2 argument of borrower is an instance of cognitive agent |
| s__instance(s__borrower__m,s__BinaryPredicate) s__instance(s__BinaryPredicate,s__SetOrClass)
|
FinancialOntology.kif 1253-1253 | borrower is an instance of binary predicate |
| s__subrelation(s__borrower__m,s__partyToAgreement__m)
|
FinancialOntology.kif 1252-1252 | borrower is a subrelation of party to agreement |
| appearance as argument number 2 |
|
|
| s__format(s__ChineseLanguage,s__borrower__m,'"%1 是 %2 的 borrower "')
|
domainEnglishFormat.kif 2911-2911 | |
| s__format(s__ChineseTraditionalLanguage,s__borrower__m,'"%1 是 %2 的 borrower "')
|
domainEnglishFormat.kif 2910-2910 | |
| s__format(s__EnglishLanguage,s__borrower__m,'"%1 is the borrower of %2"')
|
domainEnglishFormat.kif 2909-2909 | |
| s__termFormat(s__ChineseLanguage,s__borrower__m,'"借款人"')
|
domainEnglishFormat.kif 11684-11684 | |
| s__termFormat(s__ChineseTraditionalLanguage,s__borrower__m,'"借款人"')
|
domainEnglishFormat.kif 11683-11683 | |
| s__termFormat(s__EnglishLanguage,s__borrower__m,'"borrower"')
|
domainEnglishFormat.kif 11682-11682 |
| antecedent |
|
|
| ( ! [V__Lender,V__Period,V__Loan,V__Interest,V__Borrower] : (((s__instance(V__Lender,s__CognitiveAgent) & s__instance(V__Period,s__TimeInterval) & s__instance(V__Loan,s__Loan) & s__instance(V__Interest,s__Interest) & s__instance(V__Borrower,s__CognitiveAgent)) => (((s__borrower(V__Loan,V__Borrower) & s__lender(V__Loan,V__Lender) & s__agreementPeriod(V__Loan,V__Period) & s__interestEarned(V__Loan,V__Interest,V__Period)) => (( ? [V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__origin(V__Payment,V__Borrower) & s__transactionAmount(V__Payment,V__Interest) & s__destination(V__Payment,V__Lender))))))))) ) )
|
FinancialOntology.kif 1215-1225 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1227-1236 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1365-1375 |
|
| ( ! [V__Loan,V__Borrower] : ((s__instance(V__Borrower,s__CognitiveAgent) => (((s__instance(V__Loan,s__BrokerLoan) & s__borrower(V__Loan,V__Borrower)) => (s__attribute(V__Borrower,s__Broker))))) ) )
|
FinancialOntology.kif 1467-1471 |
|
| No TPTP formula. May not be expressible in strict first order. | FinancialOntology.kif 1382-1397 |
|
| ( ! [V__Loan,V__Borrower] : ((s__instance(V__Borrower,s__CognitiveAgent) => (((s__instance(V__Loan,s__DayLoan) & s__borrower(V__Loan,V__Borrower)) => (s__attribute(V__Borrower,s__Broker))))) ) )
|
FinancialOntology.kif 1528-1532 |
|
| ( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Time,s__Day) & s__instance(V__Collateral,s__Collateral) & s__instance(V__Borrower,s__CognitiveAgent)) => (((s__instance(V__Refinancing,s__Refinancing) & s__time(V__Refinancing,V__Time) & s__instance(V__Loan,s__Loan) & s__securedBy(V__Loan,V__Collateral) & s__borrower(V__Loan,V__Borrower) & s__currentAccountBalance(V__Loan,V__Time,V__Amount) & s__patient(V__Refinancing,V__Loan)) => (( ? [V__NewLoan, V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__instance(V__NewLoan,s__Loan) & s__borrower(V__NewLoan,V__Borrower) & s__securedBy(V__Loan,V__Collateral) & s__destination(V__Payment,s__CurrencyFn(V__Loan)) & s__time(V__Payment,V__Time) & s__origin(V__Payment,s__CurrencyFn(V__NewLoan)) & s__transactionAmount(V__Payment,V__Amount))))))))) ) )
|
FinancialOntology.kif 1403-1420 |
|
| ( ! [V__Loan,V__Agent] : (((s__instance(V__Loan,s__Loan) & s__instance(V__Agent,s__CognitiveAgent)) => ((s__borrower(V__Loan,V__Agent) => (( ? [V__Borrowing] : ((s__instance(V__Borrowing,s__Borrowing) & s__agent(V__Borrowing,V__Agent)))))))) ) )
|
FinancialOntology.kif 1258-1263 |
|
| consequent |
|
|
| ( ! [V__Amount,V__Time,V__Collateral,V__Loan,V__Refinancing,V__Borrower] : (((s__instance(V__Amount,s__CurrencyMeasure) & s__instance(V__Time,s__Day) & s__instance(V__Collateral,s__Collateral) & s__instance(V__Borrower,s__CognitiveAgent)) => (((s__instance(V__Refinancing,s__Refinancing) & s__time(V__Refinancing,V__Time) & s__instance(V__Loan,s__Loan) & s__securedBy(V__Loan,V__Collateral) & s__borrower(V__Loan,V__Borrower) & s__currentAccountBalance(V__Loan,V__Time,V__Amount) & s__patient(V__Refinancing,V__Loan)) => (( ? [V__NewLoan, V__Payment] : ((s__instance(V__Payment,s__FinancialTransaction) & (s__instance(V__NewLoan,s__Loan) & s__borrower(V__NewLoan,V__Borrower) & s__securedBy(V__Loan,V__Collateral) & s__destination(V__Payment,s__CurrencyFn(V__Loan)) & s__time(V__Payment,V__Time) & s__origin(V__Payment,s__CurrencyFn(V__NewLoan)) & s__transactionAmount(V__Payment,V__Amount))))))))) ) )
|
FinancialOntology.kif 1403-1420 |
|
| ( ! [V__Loan] : ((s__instance(V__Loan,s__Loan) => (( ? [V__Borrower, V__Lender] : ((s__instance(V__Borrower,s__CognitiveAgent) & s__instance(V__Lender,s__CognitiveAgent) & (s__borrower(V__Loan,V__Borrower) & s__lender(V__Loan,V__Lender))))))) ) )
|
FinancialOntology.kif 1208-1213 |
|
| ( ! [V__Commitment] : ((s__instance(V__Commitment,s__CognitiveAgent) => ((s__property(V__Commitment,s__LoanCommitment) => (( ? [V__Loan, V__Lender, V__Borrower] : ((s__instance(V__Lender,s__Agreement) & s__instance(V__Lender,s__CognitiveAgent) & s__instance(V__Borrower,s__Agreement) & s__instance(V__Borrower,s__CognitiveAgent) & (s__instance(V__Loan,s__Loan) & s__lender(V__Loan,V__Lender) & s__borrower(V__Loan,V__Borrower) & s__partyToAgreement(V__Commitment,V__Lender) & s__partyToAgreement(V__Commitment,V__Borrower))))))))) ) )
|
FinancialOntology.kif 1427-1435 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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