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

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7139-7140
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7137-7137	The number 1 argument of insured is an instance of proposition
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7138-7138	The number 2 argument of insured is an instance of organization
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7136-7136	insured is an instance of asymmetric relation
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7135-7135	insured is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1353-1353
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1352-1352
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 1351-1351
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30343-30343
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30342-30342
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 30341-30341

antecedent

No TPTP formula. May not be expressible in strict first order.

Mid-level-ontology.kif 7142-7144

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

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7150-7153	If an organization is an instance of insurance company, then there exists a proposition such that the organization is an insured of the proposition
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1539-1541	If a proposition is an instance of FHA loan, then federal housing administration is an insured of the proposition
No TPTP formula. May not be expressible in strict first order.	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