Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
ChineseLanguage
ChinesePinyinWriting
ChineseSimplifiedWriting
ChineseTraditionalLanguage
EnglishLanguage
FrenchLanguage
GermanLanguage
HerbaceousPlant
Hindi
ItalianLanguage
JapaneseLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
WoodyPlant
cb
cz
de
hi
ro
sv
tg
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
optionHolder
Sigma KEE - optionHolder
optionHolder
appearance as argument number 1
(
documentation
optionHolder
EnglishLanguage
"(
optionHolder
?Option ?Agent) means that ?Agent is the holder of the option.")
FinancialOntology.kif 2588-2589
(
domain
optionHolder
1
Agreement
)
FinancialOntology.kif 2586-2586
Die Zahl 1 Argument von
optionHolder
ist ein
fall
von
Agreement
%n{nicht}
(
domain
optionHolder
2
CognitiveAgent
)
FinancialOntology.kif 2587-2587
Die Zahl 2 Argument von
optionHolder
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
optionHolder
BinaryPredicate
)
FinancialOntology.kif 2584-2584
optionHolder
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
optionHolder
partyToAgreement
)
FinancialOntology.kif 2583-2583
optionHolder
ist eine
teilrelation
von
partyToAgreement
appearance as argument number 2
(
format
ChineseLanguage
optionHolder
"%2
holds
%1 ")
domainEnglishFormat.kif 4030-4030
(
format
ChineseTraditionalLanguage
optionHolder
"%2
holds
%1 ")
domainEnglishFormat.kif 4029-4029
(
format
EnglishLanguage
optionHolder
"%2
holds
%1")
domainEnglishFormat.kif 4028-4028
(
termFormat
ChineseLanguage
optionHolder
"期权持有人")
domainEnglishFormat.kif 42360-42360
(
termFormat
ChineseTraditionalLanguage
optionHolder
"期權持有人")
domainEnglishFormat.kif 42359-42359
(
termFormat
EnglishLanguage
optionHolder
"option holder")
domainEnglishFormat.kif 42358-42358
antecedent
(=>
(
and
(
property
?Option
AmericanStyleOption
)
(
optionHolder
?Option ?Agent)
(
agreementExpirationDate
?Option ?Day))
(
holdsRight
(
exists
(?Exercise)
(
and
(
instance
?Exercise
ExerciseAnOption
)
(
patient
?Exercise ?Option)
(
before
(
EndFn
(
WhenFn
?Exercise))
(
EndFn
?Day)))) ?Agent))
FinancialOntology.kif 2788-2800
Wenn
Agreement
hat ein
attribut
AmericanStyleOption
%n{nicht} und
optionHolder
** Agreement
and
CognitiveAgent
und
agreementExpirationDate
** Agreement
and
TimePoint
,
dann
** CognitiveAgent
hat das
Recht
, es gibt
entity
um
** entity
ist ein
fall
von
ExerciseAnOption
%n{nicht} und
** Agreement
ist ein
patient
von
** entity
%n{nicht} und das
ende
von die
zeit
des Bestehens von
** entity
geschieht
vor
das
ende
von
** TimePoint
%n{nicht} durchzufuehren %n{nicht}
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsRight
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Agent))
FinancialOntology.kif 2669-2685
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionHolder
** Agreement
and
CognitiveAgent
und
strikePrice
** Agreement
and
CurrencyMeasure
und
agreementExpirationDate
** Agreement
and
TimeInterval
und
price
FinancialInstrument
,
** CurrencyMeasure
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
TimeInterval
%n{nicht} und das
ende
von
** AutonomousAgent
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht} und
underlier
** Agreement
and
** FinancialInstrument
,
dann
** CognitiveAgent
hat das
Recht
, die
kategorie
die
SymbolicString
beschreibt durchzufuehren %n{nicht}
(=>
(
and
(
property
?Option
Option
)
(
optionHolder
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsRight
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2623-2639
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionHolder
** Agreement
and
CognitiveAgent
und
strikePrice
** Agreement
and
CurrencyMeasure
und
agreementExpirationDate
** Agreement
and
TimeInterval
und
underlier
** Agreement
and
FinancialInstrument
und
price
** FinancialInstrument
,
** CurrencyMeasure
and
AutonomousAgent
und
** AutonomousAgent
ist ein
fall
von
TimeInterval
%n{nicht} und das
ende
von
** AutonomousAgent
geschieht
vor
der
anfang
von
** TimeInterval
%n{nicht},
dann
** CognitiveAgent
hat das
Recht
, die
kategorie
die
SymbolicString
beschreibt durchzufuehren %n{nicht}
(=>
(
optionHolder
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2591-2593
Wenn
optionHolder
Agreement
and
CognitiveAgent
,
dann
** Agreement
hat ein
attribut
Option
%n{nicht}
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Show without tree
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