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

Formal Language: 

KB Term:  Term intersection
English Word: 

Sigma KEE - albumType

appearance as argument number 1

(documentation albumType EnglishLanguage "(albumType ?A ?ATTR) means that RecordingAttribute ?ATTR describes the contents of Album ?A") Music.kif 290-291
(domain albumType 1 Album) Music.kif 294-294
(domain albumType 2 RelationalAttribute) Music.kif 295-295
(instance albumType BinaryPredicate) Music.kif 289-289

appearance as argument number 2

(format ChineseLanguage albumType "%1 是 %2 ") domainEnglishFormat.kif 2770-2770
(format ChineseTraditionalLanguage albumType "%1 是 %2 ") domainEnglishFormat.kif 2769-2769
(format EnglishLanguage albumType "%1 is a %2") domainEnglishFormat.kif 2768-2768
(termFormat EnglishLanguage albumType "album type") Music.kif 292-292


        (instance ?ATTR AlbumAttribute)
        (albumType ?A ?ATTR))
    (attribute ?A ?ATTR))
Music.kif 297-301

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