Browsing Interface : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



KB Term:  Term intersection
English Word: 

  musician

 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 Le nombre 1 argument de musician est une instance de MusicRecording
No TPTP formula. May not be expressible in strict first order. Music.kif 194-194 Le nombre 2 argument de musician est une instance de humain
No TPTP formula. May not be expressible in strict first order. Music.kif 195-195 Le nombre 3 argument de musician est une sous-classe de MakingMusic
No TPTP formula. May not be expressible in strict first order. Music.kif 188-188 musician est une instance de pr�dicat ternaire

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

consequent
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 243-249
No TPTP formula. May not be expressible in strict first order. Music.kif 67-80


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