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 est une sous-classe de LiabilityAccount

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1406-1406 BalloonLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1488-1488 BankTermLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1504-1504 BridgeLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1508-1508 BrokerLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1425-1425 CallableLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1519-1519 ConsolidationLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1563-1563 DayLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1603-1603 EvergreenLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1606-1606 IndexedLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1610-1610 InterestOnlyLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1585-1585 PiggybankLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1345-1345 SecuredLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1592-1592 SinglePaymentLoan est une sous-classe de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1353-1353 UnsecuredLoan est une sous-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 Le nombre 1 argument de borrower est une instance de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 802-802 Le nombre 1 argument de downPayment est une instance de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 797-797 Le nombre 1 argument de floorLoan est une instance de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1286-1286 Le nombre 1 argument de lender est une instance de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 4157-4157 Le nombre 1 argument de loanFeeAmount est une instance de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1312-1312 Le nombre 1 argument de loanForPurchase est une instance de Loan
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3917-3917 Le nombre 1 argument de loanInterest est une instance de Loan

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3920-3926 Interval temporel Loan est une instance de Loan agreementPeriod Loan and interval temporel interestEarned Loan, Interest and interval temporel loanInterest Loan and Interest
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1273-1282
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1399-1404
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1334-1343
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1254-1259

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1449-1466
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1523-1532
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1473-1481


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