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

Formal Language: 



KB Term:  Term intersection
English Word: 

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
(domain recordingCompany 2 Organization) Music.kif 132-132
(instance recordingCompany BinaryPredicate) Music.kif 126-126

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 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