TreeView Knowledge Base Browser - HighRisk

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - HighRisk

HighRisk(high risk)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1856-1856	High risk is the opposite of low risk
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1857-1858
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11153-11153
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11162-11162
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11161-11161
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11158-11158
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11157-11157
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11159-11159
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11155-11155
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11156-11156
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11160-11160
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1855-1855	High risk is an instance of risk attribute

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 1851-1851	High risk are all the attributes of risk attribute
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28149-28149
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28148-28148
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 28147-28147

consequent

No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2418-2420	If an investment is an instance of junk bond, then the risk level of the investment is high risk
No TPTP formula. May not be expressible in strict first order.	FinancialOntology.kif 2204-2206	If an investment is an instance of penny stock, then the risk level of the investment is high risk

Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree

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