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
askPrice
Sigma KEE - askPrice
askPrice
appearance as argument number 1
(
documentation
askPrice
EnglishLanguage
"(askPrice ?Obj ?Money ?Agent) means that ?Agent offers to sell ?Obj for the amount of ?Money.")
FinancialOntology.kif 1930-1931
(
domain
askPrice
1
Object
)
FinancialOntology.kif 1926-1926
Die Zahl 1 Argument von
askPrice
ist ein
fall
von
Object
%n{nicht}
(
domain
askPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1927-1927
Die Zahl 2 Argument von
askPrice
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
domain
askPrice
3
AutonomousAgent
)
FinancialOntology.kif 1928-1928
Die Zahl 3 Argument von
askPrice
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
askPrice
TernaryRelation
)
FinancialOntology.kif 1925-1925
askPrice
ist ein
fall
von
TernaryRelation
%n{nicht}
(
subrelation
askPrice
price
)
FinancialOntology.kif 1924-1924
askPrice
ist eine
teilrelation
von
price
appearance as argument number 2
(
format
ChineseLanguage
askPrice
"%3 为了 %1 asks %2 ")
domainEnglishFormat.kif 2822-2822
(
format
ChineseTraditionalLanguage
askPrice
"%3 為了 %1 asks %2 ")
domainEnglishFormat.kif 2821-2821
(
format
EnglishLanguage
askPrice
"%3 asks for %2 for %1")
domainEnglishFormat.kif 2820-2820
(
termFormat
ChineseLanguage
askPrice
"问价格")
domainEnglishFormat.kif 8688-8688
(
termFormat
ChineseTraditionalLanguage
askPrice
"問價格")
domainEnglishFormat.kif 8687-8687
(
termFormat
EnglishLanguage
askPrice
"ask price")
domainEnglishFormat.kif 8686-8686
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
(
instance
?Stock
PennyStock
)
(
askPrice
?Stock
(
MeasureFn
?Price
UnitedStatesDollar
) ?Date))
(
lessThan
?Price 5))
FinancialOntology.kif 2208-2212
Wenn
Object
ist ein
fall
von
PennyStock
%n{nicht} und
askPrice
** Object
,
RealNumber
UnitedStatesDollar
(s) and
AutonomousAgent
,
dann
** RealNumber
ist
kleinerAls
5 %n{nicht}
(=>
(
askPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Selling)
(
and
(
instance
?Selling
Selling
)
(
agent
?Selling ?Agent)
(
patient
?Selling ?Obj)
(
transactionAmount
?Selling ?Money)))))))
FinancialOntology.kif 1933-1943
Wenn
askPrice
Object
,
CurrencyMeasure
and
AutonomousAgent
,
dann es gibt
Process
um
** Process
ist ein
fall
von
Offering
%n{nicht} und es gibt
entity
um
** entity
ist ein
fall
von
Selling
%n{nicht} und
** entity
ist der
agent
von
** AutonomousAgent
%n{nicht} und
** Object
ist ein
patient
von
** entity
%n{nicht} und
transactionAmount
** entity
and
** CurrencyMeasure
ist ein
patient
von
** Process
%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