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 757-757
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/1/1d/ Wilmette_how_side.jpg") pictureList.kif 5873-5873
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Bahai-house-of-worship-delhi2.jpg") pictureList.kif 6142-6142
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/5/5f/ Seat_of_the_Universal_House_of_Justice.JPG") pictureList.kif 6143-6143
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/9/9b/ Shrine_Bab_North_West.jpg") pictureList.kif 6144-6144
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/9/9c/ Bahaistar.jpg") pictureList.kif 6145-6145
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/commons/e/e4/ Ringstone.jpg") pictureList.kif 6146-6146
(externalImage Bahai "http://upload.wikimedia.org/wikipedia/en/8/81/Willandtestofabdulbaha.jpg") pictureList.kif 6147-6147
(instance Bahai ReligiousAttribute) People.kif 756-756 Bahai is an instance of religious attribute

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


(termFormat ChineseLanguage Bahai "巴哈") domainEnglishFormat.kif 9571-9571
(termFormat ChineseTraditionalLanguage Bahai "巴哈") domainEnglishFormat.kif 9570-9570
(termFormat EnglishLanguage Bahai "bahai") domainEnglishFormat.kif 9569-9569

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


(<=>
    (attribute ?INDIVIDUAL Bahai)
    (member ?INDIVIDUAL Bahaism))
People.kif 759-761 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 2.99c (>= 2017/11/20) is open source software produced by Articulate Software and its partners