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 78-79
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 81-81	The number 1 argument of offers is an instance of agent
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 82-82	The number 2 argument of offers is an instance of abstract
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 80-80	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 4019-4019
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.	Catalog.kif 83-83

antecedent

No TPTP formula. May not be expressible in strict first order.	Dining.kif 189-197	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 another kind of entity is in the catalog and a kind of entity is price a currency measure for the agent1 and another kind of entity is price another currency measure for the agent2, then the currency measure is equal to the other currency measure
No TPTP formula. May not be expressible in strict first order.	Catalog.kif 108-118	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 97-106	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 87-92	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-75	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 and a third entity such that the third entity expresses the content of the kind of entity and the other entity is an instance of selling and the third 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.	Hotel.kif 1507-1527	If a cognitive 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 cognitive agent and another cognitive agent is a guest at the cognitive agent and the other cognitive agent buys the meal plan from the cognitive 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 purpose there exists a third entity such that the third entity is an instance of eating and the other 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 other cognitive agent is a guest at the cognitive agent

consequent

No TPTP formula. May not be expressible in strict first order.	Catalog.kif 147-152	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 a subclass 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