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 The number 1 argument of recording company is an instance of recording
(domain recordingCompany 2 Organization) Music.kif 132-132 The number 2 argument of recording company is an instance of organization
(instance recordingCompany BinaryPredicate) Music.kif 126-126 recording company is an instance of binary predicate

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