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

Formal Language: 



KB Term:  Term intersection
English Word: 

  DruzeSect

Sigma KEE - DruzeSect
DruzeSect(druze sect)

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


s__documentation(s__DruzeSect,s__EnglishLanguage,'"The DruzeSect is one of four major divisions of Islam."')

People.kif 1357-1358
s__instance(s__BeliefGroup,s__SetOrClass)

s__instance(s__DruzeSect,s__BeliefGroup)

People.kif 1355-1355 Druze sect is an instance of belief group
s__subCollection(s__DruzeSect,s__Islam)

People.kif 1356-1356 Druze sect is a proper sub-collection of islam

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


s__termFormat(s__ChineseLanguage,s__DruzeSect,'"德鲁兹教派"')

domainEnglishFormat.kif 20547-20547
s__termFormat(s__ChineseTraditionalLanguage,s__DruzeSect,'"德魯茲教派"')

domainEnglishFormat.kif 20546-20546
s__termFormat(s__EnglishLanguage,s__DruzeSect,'"druze sect"')

domainEnglishFormat.kif 20545-20545

consequent
-------------------------


( ! [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