insured - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - insured

insured

appearance as argument number 1

(documentation insured EnglishLanguage "(insured ?Contract ?Org) means that ?Contract is insured by the ?Organization.")	Mid-level-ontology.kif 7357-7358
(domain insured 1 Proposition)	Mid-level-ontology.kif 7355-7355	The number 1 argument of insured is an instance of proposition
(domain insured 2 Organization)	Mid-level-ontology.kif 7356-7356	The number 2 argument of insured is an instance of organization
(instance insured AsymmetricRelation)	Mid-level-ontology.kif 7354-7354	insured is an instance of asymmetric relation
(instance insured BinaryPredicate)	Mid-level-ontology.kif 7353-7353	insured is an instance of binary predicate

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 30372-30372
(termFormat ChineseTraditionalLanguage insured "投保")	domainEnglishFormat.kif 30371-30371
(termFormat EnglishLanguage insured "insured")	domainEnglishFormat.kif 30370-30370

antecedent

(=>
(insured ?PROP ?ORG)
(property ?PROP Contract))

Mid-level-ontology.kif 7360-7362

If an organization is an insured of a proposition,
then the proposition the attribute contract

consequent

(=> (instance ?I InsuranceCompany) (exists (?C) (insured ?C ?I)))	Mid-level-ontology.kif 7368-7371	If an organization is an instance of insurance company, then there exists a proposition such that the organization is an insured of the proposition
(=> (instance ?Loan FHALoan) (insured ?Loan FederalHousingAdministration))	FinancialOntology.kif 1539-1541	If a proposition is an instance of FHA loan, then federal housing administration is an insured of the proposition
(=> (instance ?Mortgage ConventionalMortgage) (not (exists (?Government) (and (instance ?Government Government) (insured ?Mortgage ?Government)))))	FinancialOntology.kif 1556-1561	If a proposition is an instance of conventional mortgage, then there doesn't exist an organization such that the organization is an instance of government and the organization is an insured of the proposition

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 3.0 is open source software produced by Articulate Software and its partners