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 The number 1 argument of share holder is an instance of share
(domain shareHolder 2 CognitiveAgent) FinancialOntology.kif 2123-2123 The number 2 argument of share holder is an instance of cognitive agent
(instance shareHolder BinaryPredicate) FinancialOntology.kif 2121-2121 share holder is an instance of binary predicate

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