Browsing Interface : Welcome guest : log in
|
Browsing Interface : Welcome guest : log in |
[
Home |
Graph |
LogLearn |
Editor |
]
KB:
Language:
Formal Language:
|
| listingBidder |
| appearance as argument number 1 |
|
| (instance listingBidder BinaryPredicate) | UXExperimentalTerms.kif 100-100 | listing bidder is an instance of binary predicate |
| (domain listingBidder 1 WebListing) | UXExperimentalTerms.kif 101-101 | The number 1 argument of listing bidder is an instance of web listing |
| (domain listingBidder 2 AutonomousAgent) | UXExperimentalTerms.kif 102-102 | The number 2 argument of listing bidder is an instance of agent |
| (documentation listingBidder EnglishLanguage "(listingBidder ?LISTING ?AGENT) means that ?AGENT bid on the Object which is the patient of the webListing ?LISTING - i.e. if ?OBJECT is the patient of ?LISTING, there exists some ?MONEY where (bidPrice ?OBJECT ?MONEY ?AGENT)") | UXExperimentalTerms.kif 105-107 | The number 2 argument of listing bidder is an instance of agent |
| appearance as argument number 2 |
|
|
| (termFormat EnglishLanguage listingBidder "listing bidder") | UXExperimentalTerms.kif 103-103 | |
| (format EnglishLanguage listingBidder "%2 bids for %1") | domainEnglishFormat.kif 3770-3770 | |
| (format ChineseTraditionalLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3771-3771 | |
| (format ChineseLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3772-3772 |
| antecedent |
|
|
| (=> (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 |
|