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 子類 投資 and 金融資產

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


No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2258-2258 子類 鍵 and 投資
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2153-2153 子類 股票 and 投資
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2127-2127 子類 免稅投資 and 投資
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2137-2137 子類 應稅投資 and 投資
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 域 淨額, 1 and 投資
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1882-1882 域 潛在的損失, 2 and 投資
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 1844-1844 域 風險等級, 1 and 投資
No TPTP formula. May not be expressible in strict first order. FinancialOntology.kif 2281-2281 域 讓, 1 and 投資

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