WebListingCategory - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

[ Home | Graph | ] KB: Language:
Formal Language:

KB Term:			Term intersection

English Word:

Sigma KEE - WebListingCategory

WebListingCategory(web listing category)

appearance as argument number 1

(documentation WebListingCategory EnglishLanguage "a collection of WebListings where all the items being advertised in those listings are of the same class.")	UXExperimentalTerms.kif 136-137
(subclass WebListingCategory Collection)	UXExperimentalTerms.kif 133-133	Web listing category is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage WebListingCategory "web listing category")

UXExperimentalTerms.kif 134-134

appearance as argument number 3

(domain categoryID 2 WebListingCategory)	UXExperimentalTerms.kif 164-164	The number 2 argument of category identifier string is an instance of web listing category
(domain categoryOf 1 WebListingCategory)	UXExperimentalTerms.kif 176-176	The number 1 argument of category of is an instance of web listing category

antecedent

(=> (and (instance ?CATEG WebListingCategory) (instance ?LISTING1 WebListing) (instance ?LISTING2 WebListing) (instance ?ITEM1 Object) (instance ?ITEM2 Object) (member ?LISTING1 ?CATEG) (member ?LISTING2 ?CATEG) (patient ?ITEM1 ?LISTING1) (patient ?ITEM2 ?LISTING2)) (exists (?CLASS) (and (instance ?CLASS Class) (instance ?ITEM1 ?CLASS) (instance ?ITEM2 ?CLASS))))	UXExperimentalTerms.kif 145-160	If a collection is an instance of web listing category and a physical is an instance of web listing and another physical is an instance of web listing and a process is an instance of object and another process is an instance of object and the physical is a member of the collection and the other physical is a member of the collection and the physical is a patient of the process and the other physical is a patient of the other process, then there exists a class such that the class is an instance of class and the process is an instance of the class and the other process is an instance of the class
(=> (and (instance ?CATEG WebListingCategory) (member ?LISTING ?CATEG)) (instance ?LISTING WebListing))	UXExperimentalTerms.kif 139-143	If a collection is an instance of web listing category and a physical is a member of the collection, then the physical is an instance of web listing

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