offers - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - offers

offers

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 79-80
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 82-82	The number 1 argument of offers is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 83-83	The number 2 argument of offers is an instance of abstract
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 81-81	offers is an instance of binary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4018-4018
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4017-4017
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4016-4016
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 84-84

antecedent

No TPTP formula. May not be expressible in strict first order.	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 equal the physical and 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 equal the currency measure and the other currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 109-119	If an agent offers items for sale in an abstract and the abstract is an instance of attribute, then the statement there exist an entity and another entity such that the other entity is an instance of selling and the abstract is an attribute of the entity and the entity is a patient of the other entity and the agent is an agent of the other entity has the modal force of possibility
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	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
No TPTP formula. May not be expressible in strict first order.	Hotel.kif 1569-1589	If an agent offers items for sale in a meal plan and the meal plan is an instance of meal plan and meals of type a relational attribute are includes in the meal plan and traveler accommodation is an attribute of the agent and a cognitive agent is a guest at the agent and the cognitive agent buys the meal plan from the agent, then there exists an entity such that there exists another entity such that the relational attribute is an attribute of the other entity and the other entity has the purpose there exists a third entity such that the third entity is an instance of eating and the cognitive agent is an agent of the third entity and the other entity is a patient of the third entity holds during the entity holds during the time of existence of the cognitive agent is a guest at the agent

consequent

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 152-157	If an agent offers items for sale in an entity during a time interval and the entity is an instance of attribute, then the agent offers items for sale in the entity holds during the time interval
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 36-41	If an abstract is an instance of catalog, then there exists an agent such that the agent is an instance of agent and the agent offers items for sale in the abstract

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