Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| insured |
| appearance as argument number 1 |
|
| (instance insured BinaryPredicate) | Mid-level-ontology.kif 8451-8451 | insured is an instance of binary predicate |
| (instance insured AsymmetricRelation) | Mid-level-ontology.kif 8452-8452 | insured is an instance of asymmetric relation |
| (domain insured 1 Proposition) | Mid-level-ontology.kif 8453-8453 | The number 1 argument of insured is an instance of proposition |
| (domain insured 2 Organization) | Mid-level-ontology.kif 8454-8454 | The number 2 argument of insured is an instance of organization |
| (documentation insured EnglishLanguage "(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.") | Mid-level-ontology.kif 8455-8456 | The number 2 argument of insured is an instance of organization |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage insured "%2 is %n an insured of %1") | domainEnglishFormat.kif 1351-1351 | |
| (format ChineseTraditionalLanguage insured "%2 %n 是 %1 的投保") | domainEnglishFormat.kif 1352-1352 | |
| (format ChineseLanguage insured "%2 %n 是 %1 的投保") | domainEnglishFormat.kif 1353-1353 | |
| (termFormat EnglishLanguage insured "insured") | domainEnglishFormat.kif 30345-30345 | |
| (termFormat ChineseTraditionalLanguage insured "投保") | domainEnglishFormat.kif 30346-30346 | |
| (termFormat ChineseLanguage insured "投保") | domainEnglishFormat.kif 30347-30347 |
| antecedent |
|
|
| (=> (insured ?PROP ?ORG) (property ?PROP Contract)) |
Mid-level-ontology.kif 8458-8460 | If X is an insured of Y, then Y the attribute contract |
| consequent |
|
|
| (=> (instance ?I InsuranceCompany) (exists (?C) (insured ?C ?I))) |
Mid-level-ontology.kif 8466-8469 | If X is an instance of insurance company, then there exists Y such that X is an insured of Y |
| (=> (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 |
| (=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government))))) |
FinancialOntology.kif 1598-1603 | If X is an instance of conventional mortgage, then there doesn't exist Y such that Y is an instance of government and Y is an insured of X |
|