releaseForSale - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - releaseForSale

releaseForSale

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 1500-1501
No TPTP formula. May not be expressible in strict first order.	Music.kif 1496-1496	The number 2 argument of release for sale is an instance of geographic area
No TPTP formula. May not be expressible in strict first order.	Music.kif 1497-1497	The number 3 argument of release for sale is an instance of time point
No TPTP formula. May not be expressible in strict first order.	Music.kif 1495-1495	The number 1 argument of release for sale is a subclass of object
No TPTP formula. May not be expressible in strict first order.	Music.kif 1499-1499	release for sale is an instance of ternary relation
No TPTP formula. May not be expressible in strict first order.	Music.kif 1494-1494	release for sale is a subrelation of release for consumption

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4378-4378
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4377-4377
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4376-4376
No TPTP formula. May not be expressible in strict first order.	Music.kif 1502-1502

antecedent

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

Music.kif 1505-1515

If a kind of object was released for sale in a geographic area at a time point,
then the statement there exist an entity and another entity such that the entity is an instance of a kind of object and the other entity is an instance of buying and the other entity is located at the geographic area and the entity is a patient of the other entity has the modal force of possibility holds during immediately after the time point

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 261-270	If an album was released on a time point, then there exist a geographic area and a kind of data storage device such that the set of copies on a kind of data storage device of the album was released for sale in the geographic area at the time point and there don't exist another time point, another geographic area and another kind of data storage device such that the other time point happens before the time point and the set of copies on another kind of data storage device of the album was released for sale in the other geographic area at the other time point
No TPTP formula. May not be expressible in strict first order.	Music.kif 67-80	If a collection is an instance of discography, then there exist a human and an attribute such that the human is an instance of cognitive agent and the attribute is an attribute of the human and the attribute is an instance of musician and for all an album if the album is a member of the collection, then there exist a kind of making music, a time point,, , a geographic area and the collectionS such that the human plays a kind of making music in the album and the set of copies on the collectionS of the album was released for sale in the geographic area at the time point

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