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
orderFor
Sigma KEE - orderFor
orderFor
appearance as argument number 1
(
documentation
orderFor
EnglishLanguage
"(
orderFor
?Order ?Transaction ?Security) means that the content of ?Order is to realize an instance of ?Transaction where ?Security is the patient of ?Transaction.")
FinancialOntology.kif 1968-1969
(
domain
orderFor
1
FinancialTransaction
)
FinancialOntology.kif 1965-1965
Die Zahl 1 Argument von
orderFor
ist ein
fall
von
FinancialTransaction
%n{nicht}
(
domain
orderFor
3
Security
)
FinancialOntology.kif 1967-1967
Die Zahl 3 Argument von
orderFor
ist ein
fall
von
Security
%n{nicht}
(
domainSubclass
orderFor
2
FinancialTransaction
)
FinancialOntology.kif 1966-1966
Die Zahl 2 Argument von
orderFor
ist eine
teilkategorie
von
FinancialTransaction
%n{nicht}
(
instance
orderFor
TernaryPredicate
)
FinancialOntology.kif 1964-1964
orderFor
ist ein
fall
von
TernaryPredicate
%n{nicht}
appearance as argument number 2
(
format
ChineseLanguage
orderFor
"%1 %n 是 對於 %3 的
or
der %2 ")
domainEnglishFormat.kif 1855-1855
(
format
ChineseTraditionalLanguage
orderFor
"%1 %n 是 對於 %3 的
or
der %2 ")
domainEnglishFormat.kif 1854-1854
(
format
EnglishLanguage
orderFor
"%1 is %n
or
der for %2 for %3")
domainEnglishFormat.kif 1853-1853
(
termFormat
ChineseLanguage
orderFor
"订购给")
domainEnglishFormat.kif 42458-42458
(
termFormat
ChineseTraditionalLanguage
orderFor
"訂購給")
domainEnglishFormat.kif 42457-42457
(
termFormat
EnglishLanguage
orderFor
"order for")
domainEnglishFormat.kif 42456-42456
antecedent
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Buying
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
instance
?U
UnitOfCurrency
)
(
askPrice
?Object
(
MeasureFn
?Price ?U) ?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 2008-2029
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Buying
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
askPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** ** RealNumber
ist
kleinerAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
attribute
?Order
LimitOrder
)
(
partyToAgreement
?Order ?Broker)
(
attribute
?Broker
Broker
)
(
orderFor
?Order
Selling
?Object)
(
measure
?Object ?Quantity)
(
limitPrice
?Order
(
MeasureFn
?LimitPrice ?U))
(
bidPrice
?Object
(
MeasureFn
?Price ?U) ?Time)
(
instance
?U
UnitOfCurrency
)
(
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 2031-2052
Wenn
LimitOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
Agreement
und
Broker
ist ein
attribut
von
** Agreement
%n{nicht} und
orderFor
** FinancialTransaction
,
Selling
and
Security
und das
mass
von
** Security
ist
PhysicalQuantity
%n{nicht} und
limitPrice
** FinancialTransaction
and
RealNumber
UnitOfMeasure
(s) und
bidPrice
** Security
,
** RealNumber
** UnitOfMeasure
(s) and
AutonomousAgent
und
** UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** ** RealNumber
ist
groesserAlsOderGleich
** RealNumber
%n{nicht},
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
attribute
?Order
MarketOrder
)
(
attribute
?Broker
Broker
)
(
partyToAgreement
?Order ?Broker)
(
orderFor
?Order ?TransactionType ?Shares))
(
holdsObligation
(
KappaFn
?Transaction
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares))) ?Broker))
FinancialOntology.kif 1981-1990
Wenn
MarketOrder
ist ein
attribut
von
FinancialTransaction
%n{nicht} und
Broker
ist ein
attribut
von
Agreement
%n{nicht} und
partyToAgreement
** FinancialTransaction
and
** Agreement
und
orderFor
** FinancialTransaction
,
** ** FinancialTransaction
and
Security
,
dann
** Agreement
wird
gezwungen
, die Aufgabe der Art von die
kategorie
die
SymbolicString
beschreibt durchzuf�hren %n{nicht}
(=>
(
and
(
instance
?Order
PlacingAnOrder
)
(
orderFor
?Order ?TransactionType ?Shares))
(
hasPurpose
?Order
(
exists
(?Transaction)
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares)))))
FinancialOntology.kif 1971-1979
Wenn
FinancialTransaction
ist ein
fall
von
PlacingAnOrder
%n{nicht} und
orderFor
** FinancialTransaction
,
** ** FinancialTransaction
and
Security
,
dann
** FinancialTransaction
hat Zweck von es gibt
entity
um
** entity
ist ein
fall
von
** ** FinancialTransaction
%n{nicht} und
** Security
ist ein
patient
von
** entity
%n{nicht} %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