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

Formal Language: 



KB Term:  Term intersection
English Word: 

  albumType

Sigma KEE - albumType
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 albumType の数値 1 引数は Albuminstance では %n
(domain albumType 2 RelationalAttribute) Music.kif 295-295 albumType の数値 2 引数は 関係属性instance では %n
(instance albumType BinaryPredicate) Music.kif 289-289 albumType2進述語instance では %n

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

antecedent
-------------------------


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


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