| 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 64-67 | |
| (domain listingSeller 1 WebListing) | UXExperimentalTerms.kif 58-58 | |
| (domain listingSeller 2 AutonomousAgent) | UXExperimentalTerms.kif 60-60 | |
| (instance listingSeller BinaryRelation) | UXExperimentalTerms.kif 56-56 |
| 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 62-62 |
| 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 1230-1257 | |
| (=> (and (listingSeller ?LISTING ?AGENT) (hostedOn ?LISTING ?SITE)) (webSeller ?AGENT ?SITE)) |
UXExperimentalTerms.kif 82-86 | |
| (=> (and (listingSeller ?LISTING ?AGENT) (instance ?OBJ Object) (patient ?LISTING ?OBJ)) (desires ?AGENT (exists (?SELLING) (patient ?SELLING ?OBJ)))) |
UXExperimentalTerms.kif 73-80 | |
| (=> (listingSeller ?LISTING ?AGENT) (creator ?LISTING ?AGENT)) |
UXExperimentalTerms.kif 69-71 |
| 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 1189-1205 | |
| (=> (webSeller ?SELLER ?SITE) (exists (?LISTING) (and (instance ?LISTING WebListing) (listingSeller ?LISTING ?SELLER) (hostedOn ?LISTING ?SITE)))) |
UXExperimentalTerms.kif 1156-1162 |
|
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