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 est une sous-classe de Church

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


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