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 The number 1 argument of risk level is an instance of investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1845-1845 The number 2 argument of risk level is an instance of risk attribute
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1846-1846 risk level is an instance of binary predicate

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