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 recordingCompany の数値 1 引数は Recordinginstance では %n
(domain recordingCompany 2 Organization) Music.kif 132-132 recordingCompany の数値 2 引数は 組織instance では %n
(instance recordingCompany BinaryPredicate) Music.kif 126-126 recordingCompany2進述語instance では %n

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