MakingMusic - Sigma Knowledge base Browser

appearance as argument number 1

No TPTP formula. May not be expressible in strict first order.	Merge.kif 13805-13806
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1402-1403
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13802-13803
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13808-13808	劃分 MakingMusic, MakingInstrumentalMusic and 聲樂
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13801-13801	子類 MakingMusic and RadiatingSound

appearance as argument number 2

No TPTP formula. May not be expressible in strict first order.	Music.kif 848-848	範圍 MusicalInterpretationFn and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13809-13809	子類 MakingInstrumentalMusic and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Merge.kif 13826-13826	子類聲樂 and MakingMusic
No TPTP formula. May not be expressible in strict first order.	chinese_format.kif 1401-1401	子類聲樂 and MakingMusic
No TPTP formula. May not be expressible in strict first order.	english_format.kif 1849-1849	子類聲樂 and MakingMusic

appearance as argument number 3

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

Music.kif 195-195

域子類 musician, 3 and MakingMusic

antecedent

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

Media.kif 1787-1792

例 AutonomousAgent and Choir agent Process and AutonomousAgent 例 Process and MakingMusic
例 Process and 聲樂

consequent

No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 744-755	attribute Object and 和弦音樂 Process Process 例 Object and MakingMusic 例 Process and MakingMusic 例 Process and MakingMusic 子過程 Process and Object 子過程 Process and Object 等於 Process and Process 一同發生 Process and Object 一同發生 Process and Object
No TPTP formula. May not be expressible in strict first order.	Music.kif 511-517	例 Attribute and MusicGenre attribute Object and Attribute 例 Object and MakingMusic 例 Object and 音樂錄音
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15122-15126	例 Proposition and Music 實現 Process and Proposition 例 Process and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 16347-16351	例 Proposition and 歌劇實現 Process and Proposition 例 Process and MakingMusic
No TPTP formula. May not be expressible in strict first order.	naics.kif 7600-7618	例 Collection and Organization attribute Collection and 體育用品愛好書籍和音樂商店 AutonomousAgent Process 會員 Process and Collection agent Process and AutonomousAgent Object 例 AutonomousAgent and Selling 例 Object and Object 能力 Sport, 儀器 and Object 能力 MakingMusic, 儀器 and Object 例 Object and Book 例 Object and 音樂錄音例 Object and 音樂文本患者 AutonomousAgent and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17330-17334	例 Process and 音樂表演子過程 Process and Process 例 Process and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15152-15165	例 Process and 歌曲實現 Process and Process Process Process, Entity and Entity 例 Process and MakingMusic 例 Process and 唱歌例 Entity and LyricalContent 例 Entity and 音樂作品患者 Process and Entity 患者 Process and Entity 子過程 Process and Process 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Music.kif 1007-1020	例 Contest and MusicContest Process 例 Process and 判斷 AutonomousAgent AutonomousAgent participates 在 Contest Process agent Process and AutonomousAgent 例 Process and MakingMusic 子過程 Process and Contest 患者 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 28506-28515	例 Physical and DanceHall 有目的 Physical and entity entity 例 entity and MakingMusic 例 entity and Dancing 一同發生 entity and entity entity 是 located 在 Physical entity 是 located 在 Physical
No TPTP formula. May not be expressible in strict first order.	Merge.kif 16088-16090	例 Object and MusicalInstrument 能力 MakingMusic, 儀器 and Object
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15781-15786	例 ContentBearingObject and 音樂錄音 Physical 例 Physical and MakingMusic ContentBearingObject 是個 Physical 的 record
No TPTP formula. May not be expressible in strict first order.	Media.kif 1819-1824	例 Process and 音樂表演 Process 例 Process and MakingMusic 子過程 Process and Process
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 17248-17255	例 Process and 性能 Process 子過程 Process and Process 例 Process and 戲劇表演例 Process and MakingMusic
No TPTP formula. May not be expressible in strict first order.	Mid-level-ontology.kif 15805-15807	例 Object and 音樂文本能力 MakingMusic, 患者 and Object
No TPTP formula. May not be expressible in strict first order.	Music.kif 673-681	ElectronicDanceMusic 是在 genre Object 有目的 Object and entity entity 例 entity and NightClub 例 entity and MakingMusic 患者 entity and Object entity 是 located 在 entity
No TPTP formula. May not be expressible in strict first order.	Music.kif 180-186	音樂錄音是 Music 的 recording Process 例 Process and MakingMusic 實現 Process and Music 音樂錄音是個 Process 的 record

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

KB Term:			Term intersection

English Word: