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
optionSeller
Sigma KEE - optionSeller
optionSeller
appearance as argument number 1
(
documentation
optionSeller
EnglishLanguage
"(
optionSeller
?Option ?Agent) means that ?Agent is the writer of the option.")
FinancialOntology.kif 2601-2602
(
domain
optionSeller
1
Agreement
)
FinancialOntology.kif 2599-2599
Die Zahl 1 Argument von
optionSeller
ist ein
fall
von
Agreement
%n{nicht}
(
domain
optionSeller
2
CognitiveAgent
)
FinancialOntology.kif 2600-2600
Die Zahl 2 Argument von
optionSeller
ist ein
fall
von
CognitiveAgent
%n{nicht}
(
instance
optionSeller
BinaryPredicate
)
FinancialOntology.kif 2597-2597
optionSeller
ist ein
fall
von
BinaryPredicate
%n{nicht}
(
subrelation
optionSeller
partyToAgreement
)
FinancialOntology.kif 2596-2596
optionSeller
ist eine
teilrelation
von
partyToAgreement
appearance as argument number 2
(
format
ChineseLanguage
optionSeller
"%2 sells %1 ")
domainEnglishFormat.kif 4034-4034
(
format
ChineseTraditionalLanguage
optionSeller
"%2 sells %1 ")
domainEnglishFormat.kif 4033-4033
(
format
EnglishLanguage
optionSeller
"%2 sells %1")
domainEnglishFormat.kif 4032-4032
(
termFormat
ChineseLanguage
optionSeller
"期权卖方")
domainEnglishFormat.kif 42366-42366
(
termFormat
ChineseTraditionalLanguage
optionSeller
"期權賣方")
domainEnglishFormat.kif 42365-42365
(
termFormat
EnglishLanguage
optionSeller
"option seller")
domainEnglishFormat.kif 42364-42364
antecedent
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Agent)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate))
(
underlier
?Option ?Stocks))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Stocks)
(
time
?Buy ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Buy ?Agent))) ?Agent))
FinancialOntology.kif 2687-2703
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionSeller
** 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
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
property
?Option
Option
)
(
optionSeller
?Option ?Seller)
(
strikePrice
?Option ?Price)
(
agreementExpirationDate
?Option ?ExpDate)
(
underlier
?Option ?Stocks)
(
price
?Stocks ?Price ?Time)
(
instance
?Time
TimeInterval
)
(
before
(
EndFn
?Time)
(
BeginFn
?ExpDate)))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Stocks)
(
time
?Sell ?Time)
(
measure
?Stocks
(
MeasureFn
100
ShareUnit
))
(
agent
?Sell ?Agent))) ?Seller))
FinancialOntology.kif 2641-2659
Wenn
Agreement
hat ein
attribut
Option
%n{nicht} und
optionSeller
** 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
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
optionSeller
?OPTION ?AGENT)
(
property
?OPTION
Option
))
FinancialOntology.kif 2604-2606
Wenn
optionSeller
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