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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - Bahai
Bahai
more pictures...

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 BahaiReligiousAttributeinstance では %n

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 オブジェクトattribute では %n オブジェクトBahaismmember では %n


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