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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 The number 1 argument of album type is an instance of album
(domain albumType 2 RelationalAttribute) Music.kif 295-295 The number 2 argument of album type is an instance of relational attribute
(instance albumType BinaryPredicate) Music.kif 289-289 album type is an instance of binary predicate

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