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
bidPrice
Sigma KEE - bidPrice
bidPrice
appearance as argument number 1
(
documentation
bidPrice
EnglishLanguage
"(bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money.")
FinancialOntology.kif 1909-1910
(
domain
bidPrice
1
Object
)
FinancialOntology.kif 1906-1906
Die Zahl 1 Argument von
bidPrice
ist ein
fall
von
Object
%n{nicht}
(
domain
bidPrice
2
CurrencyMeasure
)
FinancialOntology.kif 1907-1907
Die Zahl 2 Argument von
bidPrice
ist ein
fall
von
CurrencyMeasure
%n{nicht}
(
domain
bidPrice
3
AutonomousAgent
)
FinancialOntology.kif 1908-1908
Die Zahl 3 Argument von
bidPrice
ist ein
fall
von
AutonomousAgent
%n{nicht}
(
instance
bidPrice
TernaryPredicate
)
FinancialOntology.kif 1905-1905
bidPrice
ist ein
fall
von
TernaryPredicate
%n{nicht}
(
subrelation
bidPrice
price
)
FinancialOntology.kif 1904-1904
bidPrice
ist eine
teilrelation
von
price
appearance as argument number 2
(
format
ChineseLanguage
bidPrice
"%3 bids %2 對於 %1 ")
domainEnglishFormat.kif 2898-2898
(
format
ChineseTraditionalLanguage
bidPrice
"%3 bids %2 對於 %1 ")
domainEnglishFormat.kif 2897-2897
(
format
EnglishLanguage
bidPrice
"%3 bids %2 for %1")
domainEnglishFormat.kif 2896-2896
(
termFormat
ChineseLanguage
bidPrice
"竞标价格")
domainEnglishFormat.kif 10973-10973
(
termFormat
ChineseTraditionalLanguage
bidPrice
"競標價格")
domainEnglishFormat.kif 10972-10972
(
termFormat
EnglishLanguage
bidPrice
"bid price")
domainEnglishFormat.kif 10971-10971
antecedent
(=>
(
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
(
instance
?AUCTIONING
Auctioning
)
(
instance
?BIDDER1
AutonomousAgent
)
(
instance
?BIDDER2
AutonomousAgent
)
(
instance
?ITEM
Object
)
(
instance
?U
UnitOfCurrency
)
(
patient
?AUCTIONING ?ITEM)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER1 ?U) ?BIDDER1)
(
bidPrice
?ITEM
(
MeasureFn
?OFFER2 ?U) ?BIDDER2)
(
greaterThan
?OFFER1 ?OFFER2))
(
destination
?AUCTIONING ?BIDDER1))
UXExperimentalTerms.kif 354-365
Wenn
Process
ist ein
fall
von
Auctioning
%n{nicht} und
AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht} und
bidPrice
** Object
,
RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
bidPrice
** Object
,
** RealNumber
** UnitOfMeasure
(s) and
** ** AutonomousAgent
und
** RealNumber
ist
groesserAls
** ** RealNumber
%n{nicht},
dann
** Process
endet an
** AutonomousAgent
%n{nicht}
(=>
(
bidPrice
?OBJECT ?AMOUNT ?AGENT)
(
exists
(?BIDDING)
(
and
(
instance
?BIDDING
Bidding
)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))))
UXExperimentalTerms.kif 1407-1414
Wenn
bidPrice
Object
,
CurrencyMeasure
and
AutonomousAgent
,
dann es gibt
Bidding
um
** Bidding
ist ein
fall
von
Bidding
%n{nicht} und
objectOfBid
** Bidding
and
** Object
und
amountOfBid
** Bidding
and
** CurrencyMeasure
und
** Bidding
ist der
agent
von
** AutonomousAgent
%n{nicht}
(=>
(
bidPrice
?Obj ?Money ?Agent)
(
exists
(?Offering)
(
and
(
instance
?Offering
Offering
)
(
patient
?Offering
(
exists
(?Buying)
(
and
(
instance
?Buying
Buying
)
(
agent
?Buying ?Agent)
(
patient
?Buying ?Obj)
(
transactionAmount
?Buying ?Money)))))))
FinancialOntology.kif 1912-1922
Wenn
bidPrice
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
Buying
%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}
consequent
(=>
(
and
(
instance
?AUCTIONING
Auctioning
)
(
instance
?ITEM
Object
)
(
patient
?AUCTIONING ?ITEM))
(
exists
(?BIDDER ?OFFER)
(
and
(
instance
?BIDDER
AutonomousAgent
)
(
instance
?OFFER
CurrencyMeasure
)
(
bidPrice
?ITEM ?OFFER ?BIDDER))))
UXExperimentalTerms.kif 343-352
Wenn
Process
ist ein
fall
von
Auctioning
%n{nicht} und
Object
ist ein
fall
von
Object
%n{nicht} und
** Object
ist ein
patient
von
** Process
%n{nicht},
dann es gibt
AutonomousAgent
und
CurrencyMeasure
um
** AutonomousAgent
ist ein
fall
von
AutonomousAgent
%n{nicht} und
** CurrencyMeasure
ist ein
fall
von
CurrencyMeasure
%n{nicht} und
bidPrice
** Object
,
** CurrencyMeasure
and
** AutonomousAgent
(=>
(
and
(
instance
?BIDDING
Bidding
)
(
instance
?OBJECT
Physical
)
(
instance
?AMOUNT
CurrencyMeasure
)
(
instance
?AGENT ?AGENT)
(
objectOfBid
?BIDDING ?OBJECT)
(
amountOfBid
?BIDDING ?AMOUNT)
(
agent
?BIDDING ?AGENT))
(
bidPrice
?OBJECT ?AMOUNT ?AGENT))
UXExperimentalTerms.kif 1416-1425
Wenn
Bidding
ist ein
fall
von
Bidding
%n{nicht} und
Object
ist ein
fall
von
Physical
%n{nicht} und
CurrencyMeasure
ist ein
fall
von
CurrencyMeasure
%n{nicht} und
AutonomousAgent
ist ein
fall
von
** AutonomousAgent
%n{nicht} und
objectOfBid
** Bidding
and
** Object
und
amountOfBid
** Bidding
and
** CurrencyMeasure
und
** Bidding
ist der
agent
von
** AutonomousAgent
%n{nicht},
dann
bidPrice
** Object
,
** CurrencyMeasure
and
** AutonomousAgent
(=>
(
and
(
instance
?U
UnitOfCurrency
)
(
reservePrice
?AUCTION
(
MeasureFn
?AMOUNT ?U))
(
destination
?AUCTION ?BUYER))
(
exists
(?OFFER ?ITEM)
(
and
(
bidPrice
?ITEM
(
MeasureFn
?OFFER ?U) ?BUYER)
(
greaterThan
?OFFER ?AMOUNT))))
UXExperimentalTerms.kif 415-423
Wenn
UnitOfMeasure
ist ein
fall
von
UnitOfCurrency
%n{nicht} und
reservePrice
Auctioning
and
RealNumber
** UnitOfMeasure
(s) und
** Auctioning
endet an
AutonomousAgent
%n{nicht},
dann es gibt
** RealNumber
und
Object
um
bidPrice
** Object
,
** ** RealNumber
** UnitOfMeasure
(s) and
** AutonomousAgent
und
** ** RealNumber
ist
groesserAls
** RealNumber
%n{nicht}
(=>
(
and
(
listingBidder
?LISTING ?AGENT)
(
instance
?OBJ
Object
)
(
patient
?LISTING ?OBJ))
(
exists
(?MONEY)
(
bidPrice
?OBJ ?MONEY ?AGENT)))
UXExperimentalTerms.kif 109-115
Wenn
listingBidder
WebListing
and
AutonomousAgent
und
Object
ist ein
fall
von
Object
%n{nicht} und
** Object
ist ein
patient
von
** WebListing
%n{nicht},
dann es gibt
CurrencyMeasure
um
bidPrice
** Object
,
** CurrencyMeasure
and
** AutonomousAgent
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