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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Shintoist

Sigma KEE - Shintoist
Shintoist

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


(documentation Shintoist EnglishLanguage "A Shintoist is one who subscribes to the beliefs of Shinto.") People.kif 1479-1480
(instance Shintoist ReligiousAttribute) People.kif 1478-1478

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


(termFormat ChineseLanguage Shintoist "神道教") domainEnglishFormat.kif 52576-52576
(termFormat ChineseTraditionalLanguage Shintoist "神道教") domainEnglishFormat.kif 52575-52575
(termFormat EnglishLanguage Shintoist "shintoist") domainEnglishFormat.kif 52574-52574

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


(<=>
    (attribute ?INDIVIDUAL Shintoist)
    (member ?INDIVIDUAL Shinto))
People.kif 1482-1484


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