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



KB Term:  Term intersection
English Word: 

  Entity

Sigma KEE - atTheMoney
atTheMoney

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


(instance atTheMoney BinaryPredicate) FinancialOntology.kif 3047-3047 at the money is an instance of binary predicate
(domain atTheMoney 1 Option) FinancialOntology.kif 3048-3048 The number 1 argument of at the money is an instance of option
(domain atTheMoney 2 TimePosition) FinancialOntology.kif 3049-3049 The number 2 argument of at the money is an instance of time position
(documentation atTheMoney EnglishLanguage "A term that describes an option with a strike price that is equal to the current market price of the underlying stock.") FinancialOntology.kif 3050-3051 The number 2 argument of at the money is an instance of time position

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 3.0.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners