| appearance as argument number 1 |
|
| (documentation insured EnglishLanguage "(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.") | Mid-level-ontology.kif 6819-6820 | |
| (domain insured 1 Proposition) | Mid-level-ontology.kif 6817-6817 | 投保 的 1 数量 是 命题 的 instance |
| (domain insured 2 Organization) | Mid-level-ontology.kif 6818-6818 | 投保 的 2 数量 是 机构 的 instance |
| (instance insured AsymmetricRelation) | Mid-level-ontology.kif 6815-6815 | 投保 是 非对称关系 的 instance |
| (instance insured BinaryPredicate) | Mid-level-ontology.kif 6814-6814 | 投保 是 二元谓语 的 instance |
| 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 30241-30241 | |
| (termFormat ChineseTraditionalLanguage insured "投保") | domainEnglishFormat.kif 30240-30240 | |
| (termFormat EnglishLanguage insured "insured") | domainEnglishFormat.kif 30239-30239 |
| antecedent |
|
|
| (=> (insured ?PROP ?ORG) (property ?PROP Contract)) |
Mid-level-ontology.kif 6823-6825 |
| consequent |
|
|
| (=> (instance ?I InsuranceCompany) (exists (?C) (insured ?C ?I))) |
Mid-level-ontology.kif 6832-6835 | |
| (=> (instance ?Loan FHALoan) (insured ?Loan FederalHousingAdministration)) |
FinancialOntology.kif 1480-1482 | |
| (=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government))))) |
FinancialOntology.kif 1498-1503 |
|
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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners