listingSeller |
appearance as argument number 1 |
(documentation listingSeller EnglishLanguage "(listingSeller ?LISTING ?AGENT) relates an AutonomousAgent to a WebListing. It represents that ?AGENT is the entity that desires the Selling of the patient of the ?LISTING. It also means that ?AGENT is the creator of ?LISTING and that ?AGENT is a webSeller on the WebSite that ?LISTING is hostedOn.") | UXExperimentalTerms.kif 52-55 | |
(domain listingSeller 1 WebListing) | UXExperimentalTerms.kif 48-48 | 域 listingSeller, 1 and WebListing |
(domain listingSeller 2 AutonomousAgent) | UXExperimentalTerms.kif 49-49 | 域 listingSeller, 2 and AutonomousAgent |
(instance listingSeller BinaryPredicate) | UXExperimentalTerms.kif 47-47 | 例 listingSeller and BinaryPredicate |
appearance as argument number 2 |
(format ChineseLanguage listingSeller "%2 sells %1 ") | domainEnglishFormat.kif 3782-3782 | |
(format ChineseTraditionalLanguage listingSeller "%2 sells %1 ") | domainEnglishFormat.kif 3781-3781 | |
(format EnglishLanguage listingSeller "%2 sells %1") | domainEnglishFormat.kif 3780-3780 | |
(termFormat EnglishLanguage listingSeller "listing seller") | UXExperimentalTerms.kif 50-50 |
antecedent |
consequent |
(=> (and (instance ?AGENT AutonomousAgent) (instance ?SITE WebSite)) (exists (?COLL) (and (instance ?COLL Collection) (forall (?LISTING) (=> (and (instance ?LISTING WebListing) (hostedOn ?LISTING ?SITE) (listingSeller ?LISTING ?AGENT)) (member ?LISTING ?COLL))) (equal (SellersItemsFn ?AGENT ?SITE) ?COLL)))) |
UXExperimentalTerms.kif 992-1008 |
|
(=> (webSeller ?SELLER ?SITE) (exists (?LISTING) (and (instance ?LISTING WebListing) (listingSeller ?LISTING ?SELLER) (hostedOn ?LISTING ?SITE)))) |
UXExperimentalTerms.kif 959-965 |
|