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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DruzeMuslim

Sigma KEE - DruzeMuslim
DruzeMuslim(druze muslim)
Druse, Druze

appearance as argument number 1
-------------------------


s__documentation(s__DruzeMuslim,s__EnglishLanguage,'"A DruzeMuslim is one who subscribes to the beliefs of the DruzeSect of Islam."')

People.kif 1361-1362
s__externalImage(s__DruzeMuslim,'"http://upload.wikimedia.org/wikipedia/commons/ 7/ 7e/ Druze_Man.jpg"')

pictureList.kif 8459-8459
s__externalImage(s__DruzeMuslim,'"http://upload.wikimedia.org/wikipedia/commons/ b/ b5/ Druzewomantantur.jpg"')

pictureList.kif 9169-9169
s__externalImage(s__DruzeMuslim,'"http://upload.wikimedia.org/wikipedia/commons/ d/ df/ Sultan_Pasha_al-Atrash.jpg"')

pictureList.kif 9170-9170
s__instance(s__DruzeMuslim,s__SetOrClass)

s__subclass(s__DruzeMuslim,s__Muslim)

s__instance(s__Muslim,s__SetOrClass)

People.kif 1360-1360 Druze muslim is a subclass of muslim

appearance as argument number 2
-------------------------


s__termFormat(s__ChineseLanguage,s__DruzeMuslim,'"德鲁兹穆斯林"')

domainEnglishFormat.kif 20541-20541
s__termFormat(s__ChineseTraditionalLanguage,s__DruzeMuslim,'"德魯茲穆斯林"')

domainEnglishFormat.kif 20540-20540
s__termFormat(s__EnglishLanguage,s__DruzeMuslim,'"druze muslim"')

domainEnglishFormat.kif 20539-20539

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


( ! [V__INDIVIDUAL] :
   ((s__instance(V__INDIVIDUAL,s__Object) =>
       (((s__attribute(V__INDIVIDUAL,s__DruzeMuslim) =>
             s__member(V__INDIVIDUAL,s__DruzeSect))
           &
           (s__member(V__INDIVIDUAL,s__DruzeSect) =>
             s__attribute(V__INDIVIDUAL,s__DruzeMuslim)))))
     )
   )

People.kif 1364-1366 Druze muslim is an attribute of an object if and only if the object is a member of druze sect


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