WebListingCategory - Sigma Knowledge base Browser

antecedent

(=> (and (instance ?CATEG WebListingCategory) (member ?LISTING ?CATEG)) (instance ?LISTING WebListing))	UXExperimentalTerms.kif 139-143	If X is an instance of web listing category and Y is a member of X, then Y is an instance of web listing
(=> (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 All of the following hold: (1) X is an instance of web listing category (2) Y is an instance of web listing (3) Z is an instance of web listing (4) W is an instance of object (5) V is an instance of object (6) Y is a member of X (7) Z is a member of X (8) Y is a patient of W (9) Z is a patient of V, then there exists U such that U is an instance of class, W is an instance of U, and V is an instance of U

(subclass WebListingCategory CollectionOfProcesses)	UXExperimentalTerms.kif 133-133	Web listing category is a subclass of collection
(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	Web listing category is a subclass of collection

(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