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

Formal Language: 



KB Term:  Term intersection
English Word: 

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 9566-9566
(termFormat ChineseTraditionalLanguage Bahai "巴哈") domainEnglishFormat.kif 9565-9565
(termFormat EnglishLanguage Bahai "bahai") domainEnglishFormat.kif 9564-9564

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