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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Investor

Sigma KEE - Investor
Investor

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1779-1779
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1778-1778 Investor e' uma instancia de Role Social

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


No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30889-30889
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30888-30888
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30887-30887

appearance as argument number 3
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3487-3487 O argumento numero 1 de riskTolerance e' uma instancia de Investor

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1781-1784
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1786-1791


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