PlayingInstrumentFn - Sigma Knowledge base Browser

Browsing Interface : Welcome guest : log in

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

KB Term:			Term intersection

English Word:

Sigma KEE - PlayingInstrumentFn

PlayingInstrumentFn

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Music.kif 825-826
No TPTP formula. May not be expressible in strict first order.	Music.kif 823-824
No TPTP formula. May not be expressible in strict first order.	Music.kif 827-827	The number 1 argument of playing instrument fn is a subclass of device
No TPTP formula. May not be expressible in strict first order.	Music.kif 828-828	Playing instrument fn is an instance of unary function
No TPTP formula. May not be expressible in strict first order.	Music.kif 829-829	The values returned by playing instrument fn are subclasses of instrumental music

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4118-4118
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4117-4117
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 4116-4116
No TPTP formula. May not be expressible in strict first order.	domainEnglishFormat.kif 65328-65328

antecedent

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

Music.kif 831-836

If a process is an instance of playing a kind of device,
then there exists an object such that the object is an instance of a kind of device and the object is an instrument for the process

consequent

No TPTP formula. May not be expressible in strict first order.	Music.kif 1414-1417	If cellist is an attribute of an agent, then the agent has the skill to do playing cello
No TPTP formula. May not be expressible in strict first order.	Music.kif 1430-1433	If drummer is an attribute of an agent, then the agent has the skill to do playing drum
No TPTP formula. May not be expressible in strict first order.	Music.kif 1407-1410	If guitarist is an attribute of an agent, then the agent has the skill to do playing guitar
No TPTP formula. May not be expressible in strict first order.	Music.kif 1391-1394	If pianist is an attribute of an agent, then the agent has the skill to do playing piano
No TPTP formula. May not be expressible in strict first order.	Music.kif 1422-1425	If saxophonist is an attribute of an agent, then the agent has the skill to do playing saxophone
No TPTP formula. May not be expressible in strict first order.	Music.kif 1399-1402	If violinist is an attribute of an agent, then the agent has the skill to do playing violin
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

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