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 | |
(domain listingSeller 2 AutonomousAgent) | UXExperimentalTerms.kif 49-49 | |
(instance listingSeller BinaryPredicate) | UXExperimentalTerms.kif 47-47 |
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 |
(=> (and (instance ?COLL Collection) (instance ?SITE WebSite) (instance ?AGENT AutonomousAgent) (instance ?LISTING WebListing) (instance ?TIME TimePoint) (listingSeller ?LISTING ?AGENT) (not (member ?LISTING ?COLL)) (forall (?ITEM ?MEMBER) (and (=> (and (instance ?ITEM WebListing) (member ?ITEM (SellersItemsFn ?AGENT ?SITE)) (temporalPart ?TIME (WhenFn ?ITEM)) (not (equal ?ITEM ?LISTING))) (member ?ITEM ?COLL)) (=> (member ?MEMBER ?COLL) (and (temporalPart ?TIME (WhenFn ?ITEM)) (instance ?MEMBER WebListing)))))) (equal (SellersOtherItemsFn ?AGENT ?SITE ?LISTING ?TIME) ?COLL)) |
UXExperimentalTerms.kif 1033-1060 | |
(=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 70-74 | |
(=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ)))) |
UXExperimentalTerms.kif 61-68 | |
(=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT)) |
UXExperimentalTerms.kif 57-59 |
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 |