TreeView Knowledge Base Browser - Musician

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.	Mid-level-ontology.kif 22189-22191
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 22188-22188	子類音樂家 and ArtisticOccupation

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 1412-1412	例 Cellist and 音樂家
No TPTP formula. May not be expressible in strict first order.	Music.kif 1427-1427	例 Drummer and 音樂家
No TPTP formula. May not be expressible in strict first order.	Music.kif 1404-1404	例 Guitarist and 音樂家
No TPTP formula. May not be expressible in strict first order.	Music.kif 1388-1388	例 Pianist and 音樂家
No TPTP formula. May not be expressible in strict first order.	Music.kif 1419-1419	例 Saxophonist and 音樂家
No TPTP formula. May not be expressible in strict first order.	Music.kif 1435-1435	例 SoloSinger and 音樂家
No TPTP formula. May not be expressible in strict first order.	Music.kif 1396-1396	例 Violinist and 音樂家
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	attribute AutonomousAgent and Attribute 例 Attribute and 音樂家有技巧音樂表演 and AutonomousAgent
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 18506-18515	例 Process and MusicalConducting 患者 Process and Entity 例 Entity and 音樂家例 Entity and 音樂團體持有期間何時 Process and attribute Entity and Entity

consequent

No TPTP formula. May not be expressible in strict first order.	Media.kif 1771-1780	例 Entity and 音樂團體持有期間 TimePosition and 會員 entity and Entity Entity 例 Entity and 音樂家持有期間 TimePosition and attribute entity and Entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 67-80	例 Collection and Discography Human Attribute 例 Human and CognitiveAgent attribute Human and Attribute 例 Attribute and 音樂家 Album 會員 Album and Collection MakingMusic TimePoint, GeographicArea and CollectionS Human 表演了 Album Album 在 CollectionS 的 set 複製是 released 對於 sale 在 GeographicArea 位於 TimePoint

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