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



KB Term:  Term intersection
English Word: 

  ChurchOfJesusChristOfLatterDaySaints

Sigma KEE - ChurchOfJesusChristOfLatterDaySaints
ChurchOfJesusChristOfLatterDaySaints(Church of Jesus Christ of latter day saints)

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


(instance ChurchOfJesusChristOfLatterDaySaints MissionOrganization) People.kif 1188-1188 Church of Jesus Christ of latter day saints is an instance of mission organization
(instance ChurchOfJesusChristOfLatterDaySaints Church) People.kif 1189-1189 Church of Jesus Christ of latter day saints is an instance of church

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


(termFormat EnglishLanguage ChurchOfJesusChristOfLatterDaySaints "Church of Jesus Christ of latter day saints") domainEnglishFormat.kif 64643-64643

consequent
-------------------------


(=>
    (instance ?C LocalChurchOfLatterDaySaints)
    (subOrganization ?C ChurchOfJesusChristOfLatterDaySaints))
People.kif 1190-1192 If X is an instance of Local church of latter day saints, then X is a part of the organization Church of Jesus Christ of latter day saints


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.0-0a80e6c8 (2026-05-12) is open source software produced by Articulate Software and its partners