Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
 |
   Security
|
|
|
| appearance as argument number 1 |
|
|
| (subclass Security FinancialInstrument) | FinancialOntology.kif 2127-2127 | Security is a subclass of financial instrument |
| (documentation Security EnglishLanguage "An investment instrument, other than an insurance policy or FixedAnnuity insurance policy or fixed annuity issued by a corporation, government, or other organization which offers evidence of debt or equity.") | FinancialOntology.kif 2128-2130 | Security is a subclass of financial instrument |
| appearance as argument number 2 |
|
|
| (subclass Share Security) | FinancialOntology.kif 2154-2154 | Share is a subclass of security |
| (termFormat EnglishLanguage Security "security") | domainEnglishFormat.kif 51910-51910 | Share is a subclass of security |
| (termFormat ChineseTraditionalLanguage Security "安全") | domainEnglishFormat.kif 51911-51911 | Share is a subclass of security |
| (termFormat ChineseLanguage Security "安全") | domainEnglishFormat.kif 51912-51912 | Share is a subclass of security |
| appearance as argument number 3 |
|
|
| (domain orderFor 3 Security) | FinancialOntology.kif 2015-2015 | The number 3 argument of order for is an instance of security |
|