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 是 Church 的 subclass

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


No TPTP formula. May not be expressible in strict first order. People.kif 1099-1099 ApostolicChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1116-1116 ApostoliskChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1047-1047 AssembliesOfGod 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1063-1063 ChurchOfGodOfProphecy 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1055-1055 ChurchOfTheNazarene 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1091-1091 CommunityChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1104-1104 ElimPentecostalChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1108-1108 FGBMFI 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1067-1067 FellowshipOfChurchesOfChrist 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1085-1085 HouseChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1075-1075 JesusFellowship 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1071-1071 NewApostolicChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1079-1079 NewFrontiersInternationalChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1059-1059 NewTestamentChurchOfGod 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1095-1095 PentecostalChurch 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1120-1120 Pinsebevegelsen 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1121-1121 Pinsemenighet 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1112-1112 RedeemedChristianChurchOfGod 是 CharismaticChurch 的 subclass
No TPTP formula. May not be expressible in strict first order. People.kif 1051-1051 VineyardChurch 是 CharismaticChurch 的 subclass
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