insured |
appearance as argument number 1 |
(documentation insured EnglishLanguage "(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.") | Mid-level-ontology.kif 7138-7139 | |
(domain insured 1 Proposition) | Mid-level-ontology.kif 7136-7136 | O argumento numero 1 de insured e' uma instancia de Proposicao |
(domain insured 2 Organization) | Mid-level-ontology.kif 7137-7137 | O argumento numero 2 de insured e' uma instancia de Organizacao |
(instance insured AsymmetricRelation) | Mid-level-ontology.kif 7135-7135 | insured e' uma instancia de Relacao Assimetrica |
(instance insured BinaryPredicate) | Mid-level-ontology.kif 7134-7134 | insured e' uma instancia de Predicado Binario |
appearance as argument number 2 |
(format ChineseLanguage insured "%2 %n 是 %1 的投保") | domainEnglishFormat.kif 1353-1353 | |
(format ChineseTraditionalLanguage insured "%2 %n 是 %1 的投保") | domainEnglishFormat.kif 1352-1352 | |
(format EnglishLanguage insured "%2 is %n an insured of %1") | domainEnglishFormat.kif 1351-1351 | |
(termFormat ChineseLanguage insured "投保") | domainEnglishFormat.kif 30343-30343 | |
(termFormat ChineseTraditionalLanguage insured "投保") | domainEnglishFormat.kif 30342-30342 | |
(termFormat EnglishLanguage insured "insured") | domainEnglishFormat.kif 30341-30341 |
antecedent |
(=> (insured ?PROP ?ORG) (property ?PROP Contract)) |
Mid-level-ontology.kif 7141-7143 |
|
consequent |
(=> (instance ?I InsuranceCompany) (exists (?C) (insured ?C ?I))) |
Mid-level-ontology.kif 7149-7152 |
|
(=> (instance ?Loan FHALoan) (insured ?Loan FederalHousingAdministration)) |
FinancialOntology.kif 1539-1541 |
|
(=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government))))) |
FinancialOntology.kif 1556-1561 |
|