Browsing Interface : Welcome guest : log in
Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - WebListing
WebListing(web listing)

appearance as argument number 1
-------------------------


s__documentation(s__WebListing,s__EnglishLanguage,'"A subclass of Avertising which is hostedOn a WebSite. The Creator of the WebListing must be a webSeller on the WebSite it is hostedOn."')

UXExperimentalTerms.kif 34-35
s__instance(s__Advertising,s__SetOrClass)

s__instance(s__WebListing,s__SetOrClass)

s__subclass(s__WebListing,s__Advertising)

UXExperimentalTerms.kif 30-30 Web listing is a subclass of advertising

appearance as argument number 2
-------------------------


s__termFormat(s__EnglishLanguage,s__WebListing,'"web listing"')

UXExperimentalTerms.kif 32-32

appearance as argument number 3
-------------------------


s__domain(s__SellersOtherItemsFn__m,n__3,s__WebListing)

UXExperimentalTerms.kif 1217-1217 The number 3 argument of sellers other items is an instance of web listing
s__domain(s__hostedOn__m,n__1,s__WebListing)

UXExperimentalTerms.kif 148-148 The number 1 argument of hosted on is an instance of web listing
s__domain(s__listingBidder__m,n__1,s__WebListing)

UXExperimentalTerms.kif 125-125 The number 1 argument of listing bidder is an instance of web listing
s__domain(s__listingBuyer__m,n__1,s__WebListing)

UXExperimentalTerms.kif 94-94 The number 1 argument of listing buyer is an instance of web listing
s__domain(s__listingSeller__m,n__1,s__WebListing)

UXExperimentalTerms.kif 58-58 The number 1 argument of listing seller is an instance of web listing
s__domain(s__searchResult__m,n__1,s__WebListing)

UXExperimentalTerms.kif 2532-2532 The number 1 argument of search result is an instance of web listing
s__domain(s__viewedListing__m,n__2,s__WebListing)

UXExperimentalTerms.kif 1741-1741 The number 2 argument of viewed listing is an instance of web listing

antecedent
-------------------------


( ! [V__ITEM1,V__LISTING2,V__LISTING1,V__CATEG,V__ITEM2] :
   (((s__instance(V__CATEG,s__WebListingCategory) &
         s__instance(V__LISTING1,s__WebListing) &
         s__instance(V__LISTING2,s__WebListing) &
         s__instance(V__ITEM1,s__Object) &
         s__instance(V__ITEM2,s__Object) &
         s__member(V__LISTING1,V__CATEG)
       &
       s__member(V__LISTING2,V__CATEG)
     &
     s__patient(V__ITEM1,V__LISTING1)
   &
   s__patient(V__ITEM2,V__LISTING2))
=>
(( ? [V__CLASS] :
   ((s__instance(V__CLASS,s__Class) &
       s__instance(V__ITEM1,V__CLASS)
     &
     s__instance(V__ITEM2,V__CLASS))))))
)
)

UXExperimentalTerms.kif 182-197
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
( ! [V__AGENT,V__TIME,V__SITE,V__LISTING,V__COLL] :
   (((s__instance(V__COLL,s__Collection) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__AGENT,s__Agent) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__TIME,s__TimePoint) &
         s__listingSeller(V__LISTING,V__AGENT)
       &
       ~(s__member(V__LISTING,V__COLL))
     &
     ( ! [V__ITEM, V__MEMBER] :
       ((((s__instance(V__ITEM,s__WebListing) &
               s__member(V__ITEM,s__SellersItemsFn(V__AGENT,V__SITE))
           &
           s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
       &
       ~((V__ITEM = V__LISTING)))
     =>
     (s__member(V__ITEM,V__COLL)))
&
(s__member(V__MEMBER,V__COLL)
=>
((s__temporalPart(V__TIME,s__WhenFn(V__ITEM))
&
s__instance(V__MEMBER,s__WebListing))))))))
=>
((s__SellersOtherItemsFn(V__AGENT,V__SITE,V__LISTING,V__TIME)
= V__COLL)))
)
)

UXExperimentalTerms.kif 1230-1257
( ! [V__ITEM,V__LISTING] :
   (((s__instance(V__ITEM,s__Object) &
         s__instance(V__LISTING,s__WebListing) &
         s__attribute(V__LISTING,s__ForSaleByOwner) &
         s__patient(V__LISTING,V__ITEM))
     =>
     (s__instance(V__ITEM,s__Vehicle)))
   )
)

UXExperimentalTerms.kif 464-470
( ! [V__OWNER,V__ITEM,V__LISTING] :
   (((s__instance(V__ITEM,s__Object) &
         s__instance(V__LISTING,s__WebListing) &
         s__instance(V__OWNER,s__Agent) &
         s__attribute(V__LISTING,s__ForSaleByOwner) &
         s__possesses(V__OWNER,V__ITEM))
     =>
     (s__instance(V__OWNER,s__Human)))
   )
)

UXExperimentalTerms.kif 472-479
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 393-405
( ! [V__AGENT,V__SITE,V__LISTING] :
   ((s__instance(V__AGENT,s__Human) =>
       (((s__instance(V__LISTING,s__WebListing) &
             s__instance(V__SITE,s__WebSite) &
             s__hostedOn(V__LISTING,V__SITE)
           &
           s__creator(V__LISTING,V__AGENT))
       =>
       (s__webSeller(V__AGENT,V__SITE)))))
)
)

UXExperimentalTerms.kif 44-50
( ! [V__PAGE,V__ITEM,V__ADVERTISING] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__ADVERTISING,s__WebListing) &
         s__component(V__ADVERTISING,V__PAGE)
       &
       s__patient(V__ADVERTISING,V__ITEM)
     &
     s__instance(V__ITEM,s__Physical))
   =>
   (( ? [V__DESCRIPTION, V__STATING, V__DESCRIPTIONCONTENT] :
       ((s__instance(V__DESCRIPTION,s__Process) &
           s__instance(V__DESCRIPTIONCONTENT,s__Object) &
           (s__instance(V__STATING,s__Stating) &
             s__patient(V__STATING,V__DESCRIPTION)
           &
           s__refers(V__DESCRIPTION,V__ITEM)
         &
         s__result(V__DESCRIPTION,V__DESCRIPTIONCONTENT)
       &
       s__part(V__DESCRIPTIONCONTENT,V__PAGE)))))))
)
)

UXExperimentalTerms.kif 2287-2300
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 1454-1468
( ! [V__LISTING] :
   ((s__instance(V__LISTING,s__WebListing) =>
       (( ? [V__SITE] :
           ((s__instance(V__SITE,s__WebSite) &
               s__hostedOn(V__LISTING,V__SITE))))))
   )
)

UXExperimentalTerms.kif 37-42

consequent
-------------------------


( ! [V__LISTING,V__ATTRIBUTE] :
   ((s__instance(V__LISTING,s__Object) =>
       (((s__attribute(V__LISTING,V__ATTRIBUTE)
           &
           s__instance(V__ATTRIBUTE,s__ListingAttribute))
         =>
         (s__instance(V__LISTING,s__WebListing)))))
   )
)

UXExperimentalTerms.kif 375-379
( ! [V__RESULTS,V__ITEM] :
   (((s__inList(V__ITEM,V__RESULTS)
       &
       s__instance(V__RESULTS,s__SRPResults))
     =>
     ((s__instance(V__ITEM,s__WebListing) |
         s__instance(V__ITEM,s__WebPage))))
   )
)

UXExperimentalTerms.kif 2693-2699
( ! [V__AGENT,V__SITE] :
   (((s__instance(V__AGENT,s__Agent) &
         s__instance(V__SITE,s__WebSite))
       =>
       (( ? [V__COLL] :
           ((s__instance(V__COLL,s__Collection) &
               ( ! [V__LISTING] :
                 (((s__instance(V__LISTING,s__WebListing) &
                       s__hostedOn(V__LISTING,V__SITE)
                     &
                     s__listingSeller(V__LISTING,V__AGENT))
                 =>
                 (s__member(V__LISTING,V__COLL)))))
         &
         (s__SellersItemsFn(V__AGENT,V__SITE)
         = V__COLL))))))
)
)

UXExperimentalTerms.kif 1189-1205
( ! [V__CATEG,V__LISTING] :
   ((s__instance(V__LISTING,s__Physical) =>
       (((s__instance(V__CATEG,s__WebListingCategory) &
             s__member(V__LISTING,V__CATEG))
         =>
         (s__instance(V__LISTING,s__WebListing)))))
   )
)

UXExperimentalTerms.kif 176-180
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3130-3147
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 3055-3079
( ! [V__PAGE,V__SITE] :
   (((s__instance(V__PAGE,s__ViewItemPage) &
         s__instance(V__SITE,s__WebSite) &
         s__component(V__PAGE,V__SITE))
     =>
     (( ? [V__ITEM, V__ADVERTISING] :
         ((s__instance(V__ITEM,s__Object) &
             s__instance(V__ADVERTISING,s__WebListing) &
             s__component(V__ADVERTISING,V__PAGE)
           &
           s__hostedOn(V__ADVERTISING,V__SITE)
         &
         s__patient(V__ADVERTISING,V__ITEM))))))
)
)

UXExperimentalTerms.kif 2274-2285
( ! [V__USER,V__SITE,V__LISTING,V__COLL] :
   (((s__instance(V__USER,s__Agent) &
         s__instance(V__SITE,s__WebSite) &
         s__instance(V__LISTING,s__Physical) &
         s__instance(V__COLL,s__Collection))
       =>
       (((s__watchingListings(V__USER,V__COLL,V__SITE)
           &
           s__member(V__LISTING,V__COLL))
       =>
       (s__instance(V__LISTING,s__WebListing)))))
)
)

UXExperimentalTerms.kif 1448-1452
( ! [V__CHARGE] :
   ((s__instance(V__CHARGE,s__FinalValueFee) =>
       (( ? [V__ADVERT, V__SELLING, V__OWNER, V__ITEM, V__SITE] :
           ((s__instance(V__SITE,s__WebSite) &
               (s__instance(V__ADVERT,s__WebListing) &
                 s__instance(V__SELLING,s__Selling) &
                 s__instance(V__OWNER,s__Agent) &
                 s__instance(V__ITEM,s__Physical) &
                 s__instance(V__ADVERT,s__WebListing) &
                 s__patient(V__ADVERT,V__ITEM)
               &
               s__patient(V__SELLING,V__ITEM)
             &
             s__causes(V__SELLING,V__CHARGE)
           &
           s__agent(V__CHARGE,V__OWNER)
         &
         s__hostedOn(V__ADVERT,V__SITE)
       &
       s__possesses(V__OWNER,V__SITE)
     &
     s__eCommerceSite(V__SELLING,V__OWNER)))))))
)
)

UXExperimentalTerms.kif 307-322
( ! [V__CHARGE] :
   ((s__instance(V__CHARGE,s__InsertionFee) =>
       (( ? [V__ADVERT, V__PROC, V__OWNER] :
           ((s__instance(V__ADVERT,s__WebListing) &
               s__instance(V__PROC,s__ListOnSite) &
               s__instance(V__OWNER,s__Agent) &
               s__patient(V__PROC,V__ADVERT)
             &
             s__causes(V__PROC,V__CHARGE)
           &
           s__agent(V__CHARGE,V__OWNER)
         &
         s__agent(V__PROC,V__OWNER))))))
)
)

UXExperimentalTerms.kif 282-292
( ! [V__CHARGE] :
   ((s__instance(V__CHARGE,s__InsertionFee) =>
       (( ? [V__SITE, V__OWNER, V__ADVERT] :
           ((s__instance(V__SITE,s__WebSite) &
               s__instance(V__OWNER,s__Agent) &
               s__instance(V__ADVERT,s__WebListing) &
               s__hostedOn(V__ADVERT,V__SITE)
             &
             s__possesses(V__OWNER,V__SITE)
           &
           s__agent(V__CHARGE,V__OWNER))))))
)
)

UXExperimentalTerms.kif 271-280
No TPTP formula. May not be expressible in strict first order. UXExperimentalTerms.kif 338-358
( ! [V__SELLER,V__SITE] :
   (((s__instance(V__SELLER,s__Human) &
         s__instance(V__SITE,s__WebSite))
       =>
       ((s__webSeller(V__SELLER,V__SITE)
         =>
         (( ? [V__LISTING] :
             ((s__instance(V__LISTING,s__WebListing) &
                 s__listingSeller(V__LISTING,V__SELLER)
               &
               s__hostedOn(V__LISTING,V__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