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. Mid-level-ontology.kif 22189-22191
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22188-22188 音乐家 是 ArtisticOccupation 的 subclass

appearance as argument number 2
-------------------------


No TPTP formula. May not be expressible in strict first order. Music.kif 1412-1412 Cellist 是 音乐家 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1427-1427 Drummer 是 音乐家 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1404-1404 Guitarist 是 音乐家 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1388-1388 Pianist 是 音乐家 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1419-1419 Saxophonist 是 音乐家 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1435-1435 SoloSinger 是 音乐家 的 instance
No TPTP formula. May not be expressible in strict first order. Music.kif 1396-1396 Violinist 是 音乐家 的 instance
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39411-39411
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39410-39410
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 39409-39409

antecedent
-------------------------


No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 22193-22197
No TPTP formula. May not be expressible in strict first order. Mid-level-ontology.kif 18506-18515

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


No TPTP formula. May not be expressible in strict first order. Media.kif 1771-1780
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