TreeView Knowledge Base Browser - BestOffering

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - BestOffering

BestOffering(best offer)

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1649-1650
No TPTP formula. May not be expressible in strict first order.	UXExperimentalTerms.kif 1647-1647	Best offer is a subclass of offering to purchase

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 1652-1652

antecedent

No TPTP formula. May not be expressible in strict first order.

UXExperimentalTerms.kif 1654-1675

If an entity_OFFER is an instance of best offer,
then the entity_OFFER contains information there exist another entity, a third entity,, , a fourth entity,, , a fifth entity and a sixth entity such that the other entity is an instance of buying and the third entity is an agent of the other entity and the fourth entity is a patient of the other entity and the fifth entity the sixth entity(s) is a transaction amount of the other entity and there doesn't exist a content bearing physical such that the content bearing physical contains information there exist the other entity2, the third entity2 and a ninth entity such that the other entity2 is an instance of buying and the third entity2 is an agent of the other entity2 and the fourth entity is a patient of the other entity2 and the ninth entity the sixth entity(s) is a transaction amount of the other entity2 and the ninth entity is greater than the fifth entity

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