Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| bidPrice |
| appearance as argument number 1 |
|
| (subrelation bidPrice price) | FinancialOntology.kif 1950-1950 | bid price is a subrelation of price |
| (instance bidPrice TernaryPredicate) | FinancialOntology.kif 1951-1951 | bid price is an instance of ternary predicate |
| (domain bidPrice 1 Object) | FinancialOntology.kif 1952-1952 | The number 1 argument of bid price is an instance of object |
| (domain bidPrice 2 CurrencyMeasure) | FinancialOntology.kif 1953-1953 | The number 2 argument of bid price is an instance of currency measure |
| (domain bidPrice 3 AutonomousAgent) | FinancialOntology.kif 1954-1954 | The number 3 argument of bid price is an instance of agent |
| (documentation bidPrice EnglishLanguage "(bidPrice ?Obj ?Money ?Agent) means that ?Agent offers to buy ?Obj for the amount of ?Money.") | FinancialOntology.kif 1955-1956 | The number 3 argument of bid price is an instance of agent |
| appearance as argument number 2 |
|
|
| (format EnglishLanguage bidPrice "%3 bids %2 for %1") | domainEnglishFormat.kif 2892-2892 | |
| (format ChineseTraditionalLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2893-2893 | |
| (format ChineseLanguage bidPrice "%3 bids %2 對於 %1 ") | domainEnglishFormat.kif 2894-2894 | |
| (termFormat EnglishLanguage bidPrice "bid price") | domainEnglishFormat.kif 10979-10979 | |
| (termFormat ChineseTraditionalLanguage bidPrice "競標價格") | domainEnglishFormat.kif 10980-10980 | |
| (termFormat ChineseLanguage bidPrice "竞标价格") | domainEnglishFormat.kif 10981-10981 |
| antecedent |
|
|
| (=> (bidPrice ?Obj ?Money ?Agent) (exists (?Offering) (and (instance ?Offering Offering) (containsFormula ?Offering (exists (?Buying) (and (instance ?Buying Buying) (agent ?Buying ?Agent) (patient ?Buying ?Obj) (transactionAmount ?Buying ?Money))))))) |
FinancialOntology.kif 1958-1969 | If X bids Y for Z, then there exists W such that W is an instance of offering, W contains the formula there exists V such that V is an instance of buying, X is an agent of V, Z is a patient of V, and Y is a transaction amount of V |
| (=> (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 ?Broker (exists (?Sell) (and (instance ?Sell Selling) (patient ?Sell ?Object) (measure ?Object ?Quantity) (equal (WhenFn ?Sell) ?SellingTime) (overlapsTemporally ?SellingTime ?Time))))) |
FinancialOntology.kif 2079-2099 | If All of the following hold: (1) limit order is an attribute of X (2) Y is a party to agreement of X (3) broker is an attribute of Y (4) X is order for selling for Z (5) the measure of Z is W (6) V U(s) is a limit price of X (7) T bids S U(s) for Z (8) U is an instance of unit of currency (9) S is greater than or equal to V, then Y is obliged to perform tasks of type there exists R such that R is an instance of selling, Z is a patient of R, the measure of Z is W, equal the time of existence of R, Q, and T overlaps Q |
| (=> (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 | If All of the following hold: (1) X is an instance of auctioning (2) Y is an instance of agent (3) Z is an instance of agent (4) W is an instance of object (5) V is an instance of unit of currency (6) W is a patient of X (7) Y bids U V(s) for W (8) Z bids T V(s) for W (9) U is greater than T, then X ends up at Y |
| (=> (bidPrice ?OBJECT ?AMOUNT ?AGENT) (exists (?BIDDING) (and (instance ?BIDDING Bidding) (objectOfBid ?BIDDING ?OBJECT) (amountOfBid ?BIDDING ?AMOUNT) (agent ?BIDDING ?AGENT)))) |
UXExperimentalTerms.kif 1407-1414 | If X bids Y for Z, then there exists W such that W is an instance of bidding, W is a bid for Z, Y is the bid of W, and X is an agent of W |
| consequent |
|
|
| (=> (and (listingBidder ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (exists (?MONEY) (bidPrice ?OBJ ?MONEY ?AGENT))) |
UXExperimentalTerms.kif 109-115 | If X bids for Y, Z is an instance of object, and Z is a patient of Y, then there exists W such that X bids W for Z |
| (=> (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 | If X is an instance of auctioning, Y is an instance of object, and Y is a patient of X, then there exist Z, W such that Z is an instance of agent, W is an instance of currency measure, and Z bids W for Y |
| (=> (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 | If X is an instance of unit of currency, the reserve price of Y is Z X(s), and Y ends up at W, then there exist V and U such that W bids V X(s) for U and V is greater than Z |
| (=> (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 | If All of the following hold: (1) X is an instance of bidding (2) Y is an instance of physical (3) Z is an instance of currency measure (4) W is an instance of W (5) X is a bid for Y (6) Z is the bid of X (7) W is an agent of X, then W bids Z for Y |
|