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



KB Term:  Term intersection
English Word: 

  SpatialRelation

Sigma KEE - inTheMoney
inTheMoney

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


(instance inTheMoney BinaryPredicate) FinancialOntology.kif 3014-3014 in the money is an instance of binary predicate
(domain inTheMoney 1 Option) FinancialOntology.kif 3015-3015 The number 1 argument of in the money is an instance of option
(domain inTheMoney 2 TimePosition) FinancialOntology.kif 3016-3016 The number 2 argument of in the money is an instance of time position
(documentation inTheMoney EnglishLanguage "A call option is in the money if the stock price is above the strike price. A put option is in the money if the stock price is below the strike price.") FinancialOntology.kif 3017-3019 The number 2 argument of in 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