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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - shareHolder
shareHolder

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


(documentation shareHolder EnglishLanguage "(shareHolder ?Stock ?Agent) means that ?Agent possesses shares of Stock in a corporation or mutual fund.") FinancialOntology.kif 2138-2139
(domain shareHolder 1 Share) FinancialOntology.kif 2136-2136 Le nombre 1 argument de shareHolder est une instance de Share
(domain shareHolder 2 CognitiveAgent) FinancialOntology.kif 2137-2137 Le nombre 2 argument de shareHolder est une instance de agent cognitif
(instance shareHolder BinaryPredicate) FinancialOntology.kif 2135-2135 shareHolder est une instance de pr�dicat binaire

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


(format ChineseLanguage shareHolder "%2 %n 是 %1 的 share 持有者") domainEnglishFormat.kif 2263-2263
(format ChineseTraditionalLanguage shareHolder "%2 %n 是 %1 的 share 持有者") domainEnglishFormat.kif 2262-2262
(format EnglishLanguage shareHolder "%2 is %n a share holder of %1") domainEnglishFormat.kif 2261-2261
(termFormat ChineseLanguage shareHolder "股东") domainEnglishFormat.kif 52458-52458
(termFormat ChineseTraditionalLanguage shareHolder "股東") domainEnglishFormat.kif 52457-52457
(termFormat EnglishLanguage shareHolder "share holder") domainEnglishFormat.kif 52456-52456


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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