| Share(share) | | share |
| appearance as argument number 1 |
|
|
| (subclass Share Security) | FinancialOntology.kif 2130-2130 | Share is a subclass of security |
| (documentation Share EnglishLanguage "Certificate, representing one unit of ownership in a corporation, MutualFund, or limited partnership.") | FinancialOntology.kif 2131-2132 | Share is a subclass of security |
| appearance as argument number 2 |
|
|
| appearance as argument number 3 |
|
|
| (domain shareOf 1 Share) | FinancialOntology.kif 2135-2135 | The number 1 argument of share of is an instance of share |
| (domain shareHolder 1 Share) | FinancialOntology.kif 2139-2139 | The number 1 argument of share holder is an instance of share |
|
|
|