| 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 | Il numero 1 argomenti di listingBidder è un istanza di WebListing |
| (domain listingBidder 2 AutonomousAgent) | UXExperimentalTerms.kif 102-102 | Il numero 2 argomenti di listingBidder è un istanza di AutonomousAgent |
| (instance listingBidder BinaryPredicate) | UXExperimentalTerms.kif 100-100 | listingBidder è un' istanza di PredicatoBinario |
| appearance as argument number 2 |
|
|
| (format ChineseLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3774-3774 | |
| (format ChineseTraditionalLanguage listingBidder "%2 對 %1 bids ") | domainEnglishFormat.kif 3773-3773 | |
| (format EnglishLanguage listingBidder "%2 bids for %1") | domainEnglishFormat.kif 3772-3772 | |
| (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