TreeView Knowledge Base Browser - WebListingCategory

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

WebListingCategory

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 173-174
(subclass WebListingCategory Collection)	UXExperimentalTerms.kif 169-169	Web listing category is a subclass of collection

appearance as argument number 2

(termFormat EnglishLanguage WebListingCategory "web listing category")

UXExperimentalTerms.kif 171-171

appearance as argument number 3

(domain categoryID 2 WebListingCategory)	UXExperimentalTerms.kif 207-207	The number 2 argument of category identifier string is an instance of web listing category
(domain categoryOf 1 WebListingCategory)	UXExperimentalTerms.kif 223-223	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 182-197	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 176-180	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 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 3.0 is open source software produced by Articulate Software and its partners