| 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 105-107 | |
| (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 |
| (instance listingBidder BinaryPredicate) | UXExperimentalTerms.kif 100-100 | listing bidder is an instance of binary predicate |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3768-3768 | |
| (format ChineseTraditionalLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3767-3767 | |
| (format EnglishLanguage listingBidder "%2 bids for %1") | domainEnglishFormat.kif 3766-3766 | |
| (termFormat EnglishLanguage listingBidder "listing bidder") | UXExperimentalTerms.kif 103-103 |
| antecedent |
|
|
| (=> (and (listingBidder ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (exists (?MONEY) (bidPrice ?OBJ ?MONEY ?AGENT))) |
UXExperimentalTerms.kif 109-115 |
|
|
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