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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 est une sous-classe de FinancialAsset

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2258-2258 Bond est une sous-classe de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2153-2153 Stock est une sous-classe de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2127-2127 TaxFreeInvestment est une sous-classe de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2137-2137 TaxableInvestment est une sous-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 Le nombre 1 argument de netAmount est une instance de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1882-1882 Le nombre 2 argument de potentialLoss est une instance de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1844-1844 Le nombre 1 argument de riskLevel est une instance de Investment
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2281-2281 Le nombre 1 argument de yield est une instance 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