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
ArvanitikaAlbanianLanguage
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
orderFor
の数値 1 引数は
金融取引
の
instance
では %n
(
domain
orderFor
3
Security
)
FinancialOntology.kif 1967-1967
orderFor
の数値 3 引数は
Security
の
instance
では %n
(
domainSubclass
orderFor
2
FinancialTransaction
)
FinancialOntology.kif 1966-1966
orderFor
の数値 2 引数は
金融取引
の
subclass
では %n
(
instance
orderFor
TernaryPredicate
)
FinancialOntology.kif 1964-1964
orderFor
は
3進述語
の
instance
では %n
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 42456-42456
(
termFormat
ChineseTraditionalLanguage
orderFor
"訂購給")
domainEnglishFormat.kif 42455-42455
(
termFormat
EnglishLanguage
orderFor
"order for")
domainEnglishFormat.kif 42454-42454
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
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
購買
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
測定単位
は
UnitOfCurrency
の
instance
では %n
askPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
実数
は
実数
より
less
または同等 では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
LimitOrder
は
金融取引
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
Broker
は
Agreement
の
attribute
では %n
orderFor
金融取引
,
販売
and
Security
Security
の
measure
は
物理量
では %n
limitPrice
金融取引
and
実数
の
測定単位
(s)
bidPrice
Security
,
実数
の
測定単位
(s) and
AutonomousAgent
測定単位
は
UnitOfCurrency
の
instance
では %n
実数
は
実数
greater
では %n
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
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
MarketOrder
は
金融取引
の
attribute
では %n
Broker
は
Agreement
の
attribute
では %n
partyToAgreement
金融取引
and
Agreement
orderFor
金融取引
,
金融取引
and
Security
Agreement
はタイプ
エンティティー
class
のタスクを実行する
obliged
%n
(=>
(
and
(
instance
?Order
PlacingAnOrder
)
(
orderFor
?Order ?TransactionType ?Shares))
(
hasPurpose
?Order
(
exists
(?Transaction)
(
and
(
instance
?Transaction ?TransactionType)
(
patient
?Transaction ?Shares)))))
FinancialOntology.kif 1971-1979
金融取引
は
PlacingAnOrder
の
instance
では %n
orderFor
金融取引
,
金融取引
and
Security
金融取引
は
エンティティー
エンティティー
は
金融取引
の
instance
では %n
Security
は
エンティティー
の
patient
では %n の 目的 %n{ない}
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