Browsing Interface : Welcome guest : log in
Home |  Graph |  LogLearn |  Editor |  ]  KB:  Language: 
  Formal Language: 


KB Term:  Term intersection
English Word: 

Sigma KEE - musicChartPeriod
musicChartPeriod

appearance as argument number 1
-------------------------


(instance musicChartPeriod BinaryPredicate) Music.kif 1178-1178 music chart period is an instance of binary predicate
(documentation musicChartPeriod EnglishLanguage "(musicChartPeriod ?CHART ?TIME) means that the the MusicChart ?CHART was analyzed using information from TimeInterval ?TIME") Music.kif 1179-1180 music chart period is an instance of binary predicate
(domain musicChartPeriod 1 MusicChart) Music.kif 1183-1183 The number 1 argument of music chart period is an instance of music charts
(domain musicChartPeriod 2 TimeInterval) Music.kif 1184-1184 The number 2 argument of music chart period is an instance of timeframe

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


(termFormat EnglishLanguage musicChartPeriod "music chart period") Music.kif 1181-1181
(format EnglishLanguage musicChartPeriod "%1 covers %2") domainEnglishFormat.kif 3922-3922
(format ChineseTraditionalLanguage musicChartPeriod "%1 covers %2 ") domainEnglishFormat.kif 3923-3923
(format ChineseLanguage musicChartPeriod "%1 covers %2 ") domainEnglishFormat.kif 3924-3924


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.0-ac69cf7a (2026-05-13) is open source software produced by Articulate Software and its partners