Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  HighRisk

 Sigma KEE - HighRisk
HighRisk(高风险)
more pictures...

appearance as argument number 1
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1856-1856 高风险 是 低风险 的相反
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 高风险 是 风险属性 的 instance

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1851-1851 高风险 是所有的 风险属性 的 attributes
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
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2204-2206


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