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

Formal Language: 



KB Term:  Term intersection
English Word: 

  CharismaticChurch

 Sigma KEE - CharismaticChurch
CharismaticChurch

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


No TPTP formula. May not be expressible in strict first order. People.kif 1044-1045
No TPTP formula. May not be expressible in strict first order. People.kif 1043-1043 CharismaticChurch e' uma sub-classe de Church

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


No TPTP formula. May not be expressible in strict first order. People.kif 1099-1099 ApostolicChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1116-1116 ApostoliskChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1047-1047 AssembliesOfGod e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1063-1063 ChurchOfGodOfProphecy e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1055-1055 ChurchOfTheNazarene e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1091-1091 CommunityChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1104-1104 ElimPentecostalChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1108-1108 FGBMFI e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1067-1067 FellowshipOfChurchesOfChrist e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1085-1085 HouseChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1075-1075 JesusFellowship e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1071-1071 NewApostolicChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1079-1079 NewFrontiersInternationalChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1059-1059 NewTestamentChurchOfGod e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1095-1095 PentecostalChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1120-1120 Pinsebevegelsen e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1121-1121 Pinsemenighet e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1112-1112 RedeemedChristianChurchOfGod e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1051-1051 VineyardChurch e' uma sub-classe de CharismaticChurch
No TPTP formula. May not be expressible in strict first order. domainEnglishFormat.kif 64617-64617


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