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

Formal Language: 



KB Term:  Term intersection
English Word: 

  recordingCompany

 Sigma KEE - recordingCompany
recordingCompany

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


(documentation recordingCompany EnglishLanguage "(recordingCompany ?R ?C) means that RecordCompany ?C is responsible for the distribution and production of Recording ?R.") Music.kif 127-128
(domain recordingCompany 1 Recording) Music.kif 131-131 Le nombre 1 argument de recordingCompany est une instance de Recording
(domain recordingCompany 2 Organization) Music.kif 132-132 Le nombre 2 argument de recordingCompany est une instance de organisation
(instance recordingCompany BinaryPredicate) Music.kif 126-126 recordingCompany est une instance de pr�dicat binaire

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


(format ChineseLanguage recordingCompany "%2 produces %1 ") domainEnglishFormat.kif 4354-4354
(format ChineseTraditionalLanguage recordingCompany "%2 produces %1 ") domainEnglishFormat.kif 4353-4353
(format EnglishLanguage recordingCompany "%2 produces %1") domainEnglishFormat.kif 4352-4352
(termFormat EnglishLanguage recordingCompany "recording company") Music.kif 129-129

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


(=>
    (attribute ?MR IndieMusic)
    (modalAttribute
        (not
            (exists (?R)
                (recordingCompany ?MR ?R))) Likely))		 Music.kif 741-746


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