catalogItem - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - catalogItem

catalogItem

appearance as argument number 1

(documentation catalogItem EnglishLanguage "(catalogItem ?OBJ ?CATALOG) means that an instance of ?OBJ is a member of ?CATALOG")	Catalog.kif 46-47
(domain catalogItem 2 Catalog)	Catalog.kif 49-49	The number 2 argument of catalog item is an instance of catalog
(domainSubclass catalogItem 1 Entity)	Catalog.kif 48-48	The number 1 argument of catalog item is a subclass of entity
(instance catalogItem BinaryPredicate)	Catalog.kif 44-44	catalog item is an instance of binary predicate
(instance catalogItem PartialValuedRelation)	Catalog.kif 45-45	catalog item is an instance of partial valued relation

appearance as argument number 2

(format ChineseLanguage catalogItem "%1 是在 %2 ")	domainEnglishFormat.kif 2958-2958
(format ChineseTraditionalLanguage catalogItem "%1 是在 %2 ")	domainEnglishFormat.kif 2957-2957
(format EnglishLanguage catalogItem "%1 is in %2")	domainEnglishFormat.kif 2956-2956
(termFormat EnglishLanguage catalogItem "catalog item")	domainEnglishFormat.kif 65839-65839

antecedent

(=> (and (instance ?MENU AlcoholMenu) (catalogItem ?X ?MENU)) (subclass ?X AlcoholicBeverage))	Dining.kif 219-223	If a catalog is an instance of cocktail menu and a kind of entity is in the catalog, then a kind of entity is a subclass of alcoholic beverage
(=> (and (instance ?MENU BeverageMenu) (catalogItem ?X ?MENU)) (subclass ?X Beverage))	Dining.kif 208-212	If a catalog is an instance of drinks menu and a kind of entity is in the catalog, then a kind of entity is a subclass of beverage
(=> (and (instance ?MENU Menu) (catalogItem ?X ?MENU)) (subclass ?X (FoodForFn Human)))	Dining.kif 178-182	If a catalog is an instance of menu and a kind of entity is in the catalog, then a kind of entity is a subclass of food for human
(=> (and (instance ?MENU SetMenu) (offers ?AGENT ?MENU) (catalogItem ?CLASS ?MENU) (subclass ?CLASS PreparedFood) (instance ?X ?VLASS) (instance ?Y ?CLASS) (not (equal ?X ?Y)) (price ?X ?PRICE1 ?AGENT1) (price ?Y ?PRICE2 ?AGENT2)) (equal ?PRICE1 ?PRICE2))	Dining.kif 189-201	If a catalog is an instance of set menu and an agent offers items for sale in the catalog and a kind of entity is in the catalog and a kind of entity is a subclass of prepared food and a physical is an instance of a class and another physical is an instance of the kind of entity and the physical is not equal to the other physical and the physical is price a currency measure for the agent1 and the other physical is price another currency measure for the agent2, then the currency measure is equal to the other currency measure
(=> (and (instance ?MENU WineMenu) (catalogItem ?X ?MENU)) (subclass ?X WineMenu))	Dining.kif 229-233	If a catalog is an instance of wine list and a kind of entity is in the catalog, then a kind of entity is a subclass of wine list
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINST ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINST ?OBJ)) (capability ?PROCESS agent ?AGENT))	Catalog.kif 98-107	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process, then the agent is capable of doing the other kind of process as a agent
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process)) (capability ?CLASS agent ?AGENT))	Catalog.kif 88-93	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of process, then the agent is capable of doing the kind of entity as a agent
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?OBJ ?CATALOG) (subclass ?OBJ Physical)) (modalAttribute (exists (?S ?X) (and (instance ?X ?OBJ) (instance ?S Selling) (agent ?S ?AGENT) (patient ?S ?X))) Possibility))	Catalog.kif 51-62	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of physical, then the statement there exist another entity and a third entity such that the third entity is an instance of the kind of entity and the other entity is an instance of selling and the agent is an agent of the other entity and the third entity is a patient of the other entity has the modal force of possibility
(=> (and (offers ?AGENT ?CATALOG) (catalogItem ?PROP ?CATALOG) (subclass ?PROP Proposition)) (modalAttribute (exists (?P ?S ?X) (and (instance ?P ?PROP) (realization ?X ?P) (instance ?S Selling) (patient ?S ?X) (agent ?S ?AGENT))) Possibility))	Catalog.kif 64-76	If an agent offers items for sale in a catalog and a kind of entity is in the catalog and a kind of entity is a subclass of proposition, then the statement there exist another entity, a third entity and a fourth entity such that the other entity is an instance of the kind of entity and the fourth entity expresses the content of the other entity and the third entity is an instance of selling and the fourth entity is a patient of the third entity and the agent is an agent of the third entity has the modal force of possibility
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Object) (instance ?PROCESSINSTANCE ?PROCESS) (subclass ?PROCESS Process) (instance ?OBJ ?CLASS) (patient ?PROCESSINSTANCE ?OBJ) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?PROCESS agent ?AGENT ?TIME))	Catalog.kif 139-150	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of object and a process is an instance of another kind of process and another kind of process is a subclass of process and another entity is an instance of the kind of entity and the other entity is a patient of the process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the other kind of process during the other kind of time interval
(=> (and (offersAtTime ?AGENT ?CATALOG ?TIMEINT) (catalogItem ?CLASS ?CATALOG) (subclass ?CLASS Process) (instance ?TIMEINT ?TIME) (subclass ?TIME TimeInterval)) (capabilityDuring ?CLASS agent ?AGENT ?TIME))	Catalog.kif 130-137	If an agent offers items for sale in a catalog during a time interval and a kind of entity is in the catalog and a kind of entity is a subclass of process and the time interval is an instance of another kind of time interval and another kind of time interval is a subclass of time interval, then the agent is capable of being a agent in the kind of entity during the other kind of time interval

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