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

Formal Language: 



KB Term:  Term intersection
English Word: 

  riskLevel

 Sigma KEE - riskLevel
riskLevel

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1847-1848
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1844-1844 风险等级 的 1 数量 是 投资 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1845-1845 风险等级 的 2 数量 是 风险属性 的 instance
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1846-1846 风险等级 是 二元谓语 的 instance

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4434-4434
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4433-4433
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 4432-4432
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50084-50084
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50083-50083
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 50082-50082

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3490-3495
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1063-1065
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1071-1073
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2440-2442
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