OfferingForSale - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - OfferingForSale

OfferingForSale(offering for sale)

more pictures...

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7828-7828
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 10160-10160
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11541-11541
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11545-11545
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11543-11543
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11544-11544
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11547-11547
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11546-11546
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11540-11540
No TPTP formula. May not be expressible in strict first order.	pictureList.kif 11542-11542
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 7827-7827	Offering for sale is a subclass of offering

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41668-41668
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41667-41667
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 41666-41666

antecedent

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

Mid-level-ontology.kif 7830-7839

If a process is an instance of offering for sale and an agent is an agent of the process,
then there exist an entity and another entity such that the entity is an instance of selling and the other entity is a patient of the entity and the agent is an agent of the entity is a patient of the process

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