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

Formal Language: 



KB Term:  Term intersection
English Word: 

  WebStore

Sigma KEE - WebStore
WebStore

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


(documentation WebStore EnglishLanguage "A Collection of WebPages that is a component of a WebSite, that hasPurpose of being where Selling occurs.") UXExperimentalTerms.kif 2329-2330
(subclass WebStore Collection) UXExperimentalTerms.kif 2325-2325

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


(termFormat EnglishLanguage WebStore "web store") UXExperimentalTerms.kif 2327-2327

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


(domain webStoreAdvertisement 2 WebStore) UXExperimentalTerms.kif 536-536

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


(=>
    (and
        (instance ?STORE WebStore)
        (member ?PAGE ?STORE))
    (instance ?PAGE WebPage))
UXExperimentalTerms.kif 2347-2351
(=>
    (instance ?STORE WebStore)
    (exists (?OWNER)
        (and
            (instance ?OWNER Human)
            (possesses ?OWER ?STORE))))
UXExperimentalTerms.kif 2354-2359
(=>
    (instance ?STORE WebStore)
    (exists (?SITE)
        (and
            (instance ?SITE WebSite)
            (component ?STORE ?SITE))))
UXExperimentalTerms.kif 2332-2337
(=>
    (instance ?STORE WebStore)
    (hasPurpose ?STORE
        (exists (?SELLING)
            (and
                (instance ?SELLING Selling)
                (instrument ?SELLING ?STORE)))))
UXExperimentalTerms.kif 2339-2345


Show simplified definition (without tree view)
Show simplified definition (with tree view)

Show without tree


Sigma web home      Suggested Upper Merged Ontology (SUMO) web home
Sigma version 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners