musician - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - musician

musician

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 189-190
No TPTP formula. May not be expressible in strict first order.	Music.kif 193-193	The number 1 argument of musician is an instance of music recording
No TPTP formula. May not be expressible in strict first order.	Music.kif 194-194	The number 2 argument of musician is an instance of human
No TPTP formula. May not be expressible in strict first order.	Music.kif 195-195	The number 3 argument of musician is a subclass of making music
No TPTP formula. May not be expressible in strict first order.	Music.kif 188-188	musician is an instance of ternary predicate

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3934-3934
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3933-3933
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 3932-3932
No TPTP formula. May not be expressible in strict first order.	Music.kif 191-191

antecedent

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

Music.kif 197-206

If a human performed a music recording,
then there exist a process and a kind of device such that the process is an instance of a kind of making music and a kind of making music is equal to playing a kind of device or the kind of making music is equal to singing and the human is an agent of the process and the music recording is a result of the process

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 243-249	If a human has discography a discography, then for all a music recording if the music recording is a member of the discography, then there exists a kind of making music such that the human performed the music recording
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 performed 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