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
Il numero 1 argomenti di
orderFor
è un
istanza
di
ScambioFinanziario
(
domain
orderFor
3
Security
)
FinancialOntology.kif 1967-1967
Il numero 3 argomenti di
orderFor
è un
istanza
di
Security
(
domainSubclass
orderFor
2
FinancialTransaction
)
FinancialOntology.kif 1966-1966
Il numero 2 argomento
orderFor
è una
sottoclasse
di
ScambioFinanziario
(
instance
orderFor
TernaryPredicate
)
FinancialOntology.kif 1964-1964
orderFor
è un'
istanza
di
PredicatoTernario
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
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Acquistare
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
askPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
NumeroReale
è
minore
o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
attribute
ScambioFinanziario
and
LimitOrder
partyToAgreement
ScambioFinanziario
and
Agreement
attribute
Agreement
and
Broker
orderFor
ScambioFinanziario
,
Vendere
and
Security
la
misura
Security
è
Quantit�Fisica
limitPrice
ScambioFinanziario
and
NumeroReale
Unit�DiMisura
(s
bidPrice
Security
,
NumeroReale
Unit�DiMisura
(s and
AutonomousAgent
Unit�DiMisura
è un'
istanza
di
UnitOfCurrency
NumeroReale
è
pi
ù grande di o uguale a
NumeroReale
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
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
attribute
ScambioFinanziario
and
MarketOrder
attribute
Agreement
and
Broker
partyToAgreement
ScambioFinanziario
and
Agreement
orderFor
ScambioFinanziario
,
ScambioFinanziario
and
Security
Agreement
è
obbligato
a compiere il compito di tipo la
classe
descritta da
Stringa
(=>
(
and
(
instance
?Order
PlacingAnOrder
)
(
orderFor
?Order ?TransactionType ?Shares))
(
hasPurpose
?Order
(
exists
(?Transaction)
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares)))))
FinancialOntology.kif 1971-1979
ScambioFinanziario
è un'
istanza
di
PlacingAnOrder
orderFor
ScambioFinanziario
,
ScambioFinanziario
and
Security
ScambioFinanziario
ha
scopo
Entit�
Entit�
è un'
istanza
di
ScambioFinanziario
Security
è un
paziente
di
Entit�
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