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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Bahai

Sigma KEE - Bahai
Bahai(bahai)
more pictures...
Bahai

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


(documentation Bahai EnglishLanguage "One who subscribes to the beliefs fo Bahaism.") People.kif 755-755
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Wilmette_how_side.jpg") pictureList.kif 5872-5872
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Bahai-house-of-worship-delhi2.jpg") pictureList.kif 6141-6141
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Seat_of_the_Universal_House_of_Justice.JPG") pictureList.kif 6142-6142
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Shrine_Bab_North_West.jpg") pictureList.kif 6143-6143
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/9/9c/ Bahaistar.jpg") pictureList.kif 6144-6144
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Ringstone.jpg") pictureList.kif 6145-6145
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/en/8/81/Willandtestofabdulbaha.jpg") pictureList.kif 6146-6146
(instance Bahai ReligiousAttribute) People.kif 754-754 Bahai is an instance of religious attribute

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


(termFormat ChineseLanguage Bahai "巴哈") domainEnglishFormat.kif 9558-9558
(termFormat ChineseTraditionalLanguage Bahai "巴哈") domainEnglishFormat.kif 9557-9557
(termFormat EnglishLanguage Bahai "bahai") domainEnglishFormat.kif 9556-9556

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


(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 757-759 Bahai is an attribute of an object if and only if the object is a member of bahaism


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