| appearance as argument number 1 |
|
| (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 131-133 | |
| (domain listingBidder 1 WebListing) | UXExperimentalTerms.kif 125-125 | The number 1 argument of listing bidder is an instance of web listing |
| (domain listingBidder 2 Agent) | UXExperimentalTerms.kif 127-127 | The number 2 argument of listing bidder is an instance of agent |
| (instance listingBidder BinaryRelation) | UXExperimentalTerms.kif 123-123 | listing bidder is an instance of binary relation |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3779-3779 | |
| (format ChineseTraditionalLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3778-3778 | |
| (format EnglishLanguage listingBidder "%2 bids for %1") | domainEnglishFormat.kif 3777-3777 | |
| (termFormat EnglishLanguage listingBidder "listing bidder") | UXExperimentalTerms.kif 129-129 |
| antecedent |
|
|
| (=> (and (listingBidder ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (exists (?MONEY) (bidPrice ?OBJ ?MONEY ?AGENT))) |
UXExperimentalTerms.kif 135-141 |
|
|
Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)
|
|
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