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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Investment

 Sigma KEE - Investment
Investment

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1769-1769
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1768-1768 Investment e' uma sub-classe de FinancialAsset

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2258-2258 Bond e' uma sub-classe de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2153-2153 Stock e' uma sub-classe de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2127-2127 TaxFreeInvestment e' uma sub-classe de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2137-2137 TaxableInvestment e' uma sub-classe de Investment
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30859-30859
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30858-30858
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 30857-30857

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 3460-3460 O argumento numero 1 de netAmount e' uma instancia de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1882-1882 O argumento numero 2 de potentialLoss e' uma instancia de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1844-1844 O argumento numero 1 de riskLevel e' uma instancia de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2281-2281 O argumento numero 1 de yield e' uma instancia de Investment

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


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 1771-1776