Term Intersection : Welcome guest : log in		 [  Home |  Graph |  ]  KB:  Language:   

Formal Language: 



Term 1: Term 2:

No TPTP formula. May not be expressible in strict first order. People.kif 1043-1043 CharismaticChurch est une sous-classe de Church
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 1051-1051 VineyardChurch 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 1059-1059 NewTestamentChurchOfGod 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 1067-1067 FellowshipOfChurchesOfChrist 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 1075-1075 JesusFellowship 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 1085-1085 HouseChurch 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 1095-1095 PentecostalChurch est une sous-classe de CharismaticChurch
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 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 1112-1112 RedeemedChristianChurchOfGod 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 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


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