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 2124-2125
(domain shareHolder 1 Share) FinancialOntology.kif 2122-2122 Le nombre 1 argument de shareHolder est une instance de Share
(domain shareHolder 2 CognitiveAgent) FinancialOntology.kif 2123-2123 Le nombre 2 argument de shareHolder est une instance de agent cognitif
(instance shareHolder BinaryPredicate) FinancialOntology.kif 2121-2121 shareHolder est une instance de pr�dicat binaire

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


(format ChineseLanguage shareHolder "%2 %n 是 %1 的 share 持有者") domainEnglishFormat.kif 2259-2259
(format ChineseTraditionalLanguage shareHolder "%2 %n 是 %1 的 share 持有者") domainEnglishFormat.kif 2258-2258
(format EnglishLanguage shareHolder "%2 is %n a share holder of %1") domainEnglishFormat.kif 2257-2257
(termFormat ChineseLanguage shareHolder "股东") domainEnglishFormat.kif 52425-52425
(termFormat ChineseTraditionalLanguage shareHolder "股東") domainEnglishFormat.kif 52424-52424
(termFormat EnglishLanguage shareHolder "share holder") domainEnglishFormat.kif 52423-52423


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