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

Formal Language: 



KB Term:  Term intersection
English Word: 

Sigma KEE - EvangelicalChurch
EvangelicalChurch

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


No TPTP formula. May not be expressible in strict first order. People.kif 898-899
No TPTP formula. May not be expressible in strict first order. People.kif 897-897 EvangelicalChurch e' uma sub-classe de Church

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


No TPTP formula. May not be expressible in strict first order. People.kif 958-958 CYFA e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 914-914 ChristianBrethren e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 945-945 CityMissions e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 918-918 CountessOfHuntingdonsConnexion e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 901-901 CovenantChurch e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 991-991 DeFrieEvangeliskeForsamlinger e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 986-986 DenEvangeliskLutherskeFrikirke e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 932-932 EvangelicalFellowshipOfCongregationalChurches e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 927-927 EvangelicalPresbyterianChurchOfIreland e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 969-969 EvangeliskaFosterlandsStiftelsen e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 974-974 EvangeliskaFrikyrkan e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 949-949 FellowshipOfIndependentEvangelicalChurches e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 978-978 Fraelsningsarmen e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 954-954 FreeEvangelicalChurch e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 995-995 Frelsesarmeen e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 999-999 Indremisjonen e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 937-937 MoravianChurch e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1003-1003 Normisjon e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 1007-1007 NorskLutherskMisjonssamband e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 923-923 PlymouthBrethrenAssembly e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 982-982 SaltAndLightChurch e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 941-941 SalvationArmyMission e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 961-961 ScriptureUnion e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 905-905 SvenskaAlliansmissionenProtestantFreeChurch e' uma sub-classe de EvangelicalChurch
No TPTP formula. May not be expressible in strict first order. People.kif 910-910 UnionOfEvangelicalChurches e' uma sub-classe de EvangelicalChurch

Display limited to 25 items. Show next 25

Display limited to 25 items. Show next 25


Show full definition with tree view
Show simplified definition (without tree view)
Show simplified definition (with tree view)



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