Browsing Interface
: Welcome guest :
log in
[
Home
| 
Graph
|  ]
KB:
SUMO
Language:
AlbanianLanguage
ArabicLanguage
BasqueLanguage
BulgarianLanguage
CatalanLanguage
ChineseLanguage
ChineseTraditionalLanguage
CroatianLanguage
DanishLanguage
Defrauding
EnglishLanguage
FarsiLanguage
FinnishLanguage
FrenchLanguage
GalicianLanguage
GermanLanguage
GreekLanguage
Haboob
HebrewLanguage
IcelandicLanguage
IndonesianLanguage
ItalianLanguage
JapaneseLanguage
MalayLanguage
NorwegianBokmalLanguage
NorwegianNorskLanguage
PolishLanguage
PortugueseLanguage
SpanishLanguage
SwedishLanguage
TaiwanChineseLanguage
ThaiLanguage
Formal Language:
OWL
SUO-KIF
TPTP
traditionalLogic
KB Term:
Term intersection
English Word:
Any
Noun
Verb
Adjective
Adverb
Sigma KEE - LimitOrder
LimitOrder
appearance as argument number 1
(
documentation
LimitOrder
EnglishLanguage
"LimitOrder is an order to a
Broker
to buy a specified quantity of a
Security
at or below a specified price, or to sell it at or above a specified
limitPrice
.")
FinancialOntology.kif 1928-1929
(
subclass
LimitOrder
FinancialOrder
)
FinancialOntology.kif 1927-1927
subclass
LimitOrder
and
FinancialOrder
appearance as argument number 2
(
termFormat
ChineseLanguage
LimitOrder
"限价订单")
domainEnglishFormat.kif 34375-34375
termFormat
ChineseLanguage
,
LimitOrder
and "限价订单"
(
termFormat
ChineseTraditionalLanguage
LimitOrder
"限價訂單")
domainEnglishFormat.kif 34374-34374
termFormat
ChineseTraditionalLanguage
,
LimitOrder
and "限價訂單"
(
termFormat
EnglishLanguage
LimitOrder
"limit order")
domainEnglishFormat.kif 34373-34373
termFormat
EnglishLanguage
,
LimitOrder
and "limit order"
appearance as argument number 3
(
domain
limitPrice
1
LimitOrder
)
FinancialOntology.kif 1933-1933
domain
limitPrice
, 1 and
LimitOrder
antecedent
(=>
(
and
(
instance
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order ?LimitPrice)
(
askPrice
?Object ?Price ?Time)
(
lessThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Buy
(
and
(
instance
?Buy
Buying
)
(
patient
?Buy ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Buy) ?BuyingTime)
(
overlapsTemporally
?Time ?BuyingTime))) ?Broker))
FinancialOntology.kif 1944-1962
instance
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Buying
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
CurrencyMeasure
askPrice
Security
,
CurrencyMeasure
and
Agent
lessThanOrEqualTo
CurrencyMeasure
and
CurrencyMeasure
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Buying
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
Agent
and
SymbolicString
ingTime and
Agreement
(=>
(
and
(
instance
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order ?LimitPrice)
(
bidPrice
?Object ?Price ?Time)
(
greaterThanOrEqualTo
?Price ?LimitPrice))
(
holdsObligation
(
KappaFn
?Sell
(
and
(
instance
?Sell
Selling
)
(
patient
?Sell ?Object)
(
measure
?Object ?Quantity)
(
equal
(
WhenFn
?Sell) ?SellingTime)
(
overlapsTemporally
?SellingTime ?Time))) ?Broker))
FinancialOntology.kif 1964-1982
instance
FinancialTransaction
and
LimitOrder
partyToAgreement
FinancialTransaction
and
Agreement
attribute
Agreement
and
Broker
orderFor
FinancialTransaction
,
Selling
and
Security
measure
Security
and
PhysicalQuantity
limitPrice
FinancialTransaction
and
CurrencyMeasure
bidPrice
Security
,
CurrencyMeasure
and
Agent
greaterThanOrEqualTo
CurrencyMeasure
and
CurrencyMeasure
holdsObligation
KappaFn
SymbolicString
and
instance
SymbolicString
and
Selling
patient
SymbolicString
and
Security
measure
Security
and
PhysicalQuantity
equal
WhenFn
SymbolicString
and
SymbolicString
ingTime
overlapsTemporally
SymbolicString
ingTime and
Agent
and
Agreement
(=>
(
instance
?Order
LimitOrder
)
(
exists
(?Price)
(
limitPrice
?Order ?Price)))
FinancialOntology.kif 1939-1942
instance
Entity
and
LimitOrder
CurrencyMeasure
limitPrice
Entity
and
CurrencyMeasure
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
Sigma web home
Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is
open source software
produced by
Articulate Software
and its partners