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

Formal Language: 



KB Term:  Term intersection
English Word: 

  Church

Sigma KEE - Church
Church

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


No TPTP formula. May not be expressible in strict first order. People.kif 802-804
No TPTP formula. May not be expressible in strict first order. People.kif 801-801 Church宗教机构subclass

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


No TPTP formula. May not be expressible in strict first order. People.kif 1154-1154 ChurchOfJesusChristOfLatterDaySaintsChurchinstance
No TPTP formula. May not be expressible in strict first order. People.kif 1159-1159 AdventistsamfundetChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 838-838 AnglicanApostolicEpiscopalFreeChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 829-829 AnglicanChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 851-851 BaptistChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1043-1043 CharismaticChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1126-1126 ChristianUnionChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1123-1123 CrusadersUnionChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1127-1127 EcumenicalProjectChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 897-897 EvangelicalChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 844-844 FreeChurchOfEnglandChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 841-841 FreeChurchOfScotlandChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1160-1160 KatolskakyrkanChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 813-813 LocalChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1179-1179 LutheranChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1011-1011 MethodistChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1162-1162 MissionskyrkanChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1161-1161 MissionssaellskapetBibeltrognaVaennerChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1167-1167 OvrigtChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1163-1163 PingstroerelsenChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1170-1170 PresbyterianChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 847-847 ScottishEpiscopalChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1125-1125 SeventhDayAdventistChurchChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1122-1122 ShaftesburySocietyChurchsubclass
No TPTP formula. May not be expressible in strict first order. People.kif 1164-1164 SvenskaAlliansmissionenChurchsubclass

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25

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


No TPTP formula. May not be expressible in strict first order. People.kif 805-811


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