Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| FHALoan(FHA loan) |
| appearance as argument number 1 |
|
| (subclass FHALoan Mortgage) | FinancialOntology.kif 1576-1576 | FHA loan is a subclass of mortgage |
| (disjoint FHALoan ConventionalMortgage) | FinancialOntology.kif 1577-1577 | FHA loan is disjoint from conventional mortgage |
| (documentation FHALoan EnglishLanguage "A government mortgage that is insured by the Federal Housing Administration (FHA).") | FinancialOntology.kif 1578-1579 | FHA loan is disjoint from conventional mortgage |
| appearance as argument number 2 |
|
|
| antecedent |
|
|
| (=> (instance ?Loan FHALoan) (insured ?Loan FederalHousingAdministration)) |
FinancialOntology.kif 1581-1583 | If X is an instance of FHA loan, then federal housing administration is an insured of X |
|